ndmitchell / rattle
Forward build system with speculation and caching
☆102Updated 11 months ago
Related projects: ⓘ
- Build system☆119Updated 11 months ago
- A build tool/package manager for C, configured with Dhall☆66Updated 10 months ago
- A prototype programming language for programming with runners☆88Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆111Updated last week
- ☆74Updated this week
- A compiler for functional programs on serialized data☆157Updated last month
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Higher-order optimization library☆73Updated last year
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- GRIN backend for GHC☆143Updated 2 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- ☆85Updated this week
- Benchmarking algebraic effect handler implementations☆24Updated 3 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Hash-based Diffing for AST's☆74Updated 4 years ago
- The Makam Metalanguage☆187Updated last year
- A hip inductive theorem prover!☆87Updated 2 years ago
- ICFP tutorial☆40Updated 3 years ago
- enumerative property-based testing for Haskell☆52Updated 3 weeks ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆80Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 3 years ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆69Updated 3 weeks ago
- Automatically exported from code.google.com/p/trellys☆45Updated 5 years ago