Lists (23)
ai
15 repositories
archival
6 repositories
ctf
27 repositories
cursed
39 repositories
cute
4 repositories
embedded
19 repositories
games
9 repositories
graphics
5 repositories
langdev
24 repositories
languages
70 repositories
lean
13 repositories
libraries
9 repositories
linear algebra
1 repository
linguistics
15 repositories
linux
15 repositories
networks
13 repositories
nim
41 repositories
other
17 repositories
proof
23 repositories
rust
9 repositories
switch
11 repositories
types
3 repositories
web
30 repositories
Starred repositories
13
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A statically typed lisp, without a GC, for real-time applications.
A Dependently Typed Functional Programming Language
Minimal implementations for dependent type checking and elaboration
A fast, flexible, fused effect system for Haskell
create static websites from YAML data and string templates
An experimental proof assistant based on a type theory for synthetic ∞-categories.
An interpreter of Hagino's Categorical Programming Language (CPL).
🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
Monad transformers for combining local and global state with backtracking/backjumping/continuations