Skip to content
View schleifenkauz's full-sized avatar
🏠
Working from home
🏠
Working from home
10 followers · 5 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report schleifenkauz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 stars written in Haskell
Clear filter

unisonweb / unison

A friendly programming language from the future

Haskell 6,439 291 Updated Dec 15, 2025

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,472 632 Updated Feb 17, 2025

ghc / ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,199 732 Updated Dec 16, 2025

lamdu / lamdu

lamdu - towards the next generation IDE

Haskell 1,880 73 Updated Dec 15, 2025

sdiehl / kaleidoscope

Haskell LLVM JIT Compiler Tutorial

Haskell 1,044 127 Updated Apr 21, 2020

Sophia-Gold / Amb

a tiny DSL for nondeterministic computing

Haskell 3 Updated Jul 25, 2017