ndmitchell / rattleLinks
Forward build system with speculation and caching
☆106Updated last year
Alternatives and similar repositories for rattle
Users that are interested in rattle are comparing it to the libraries listed below
Sorting:
- Build system☆122Updated last year
- A prototype programming language for programming with runners☆90Updated 3 years ago
- Stroll: an experimental build system☆40Updated 2 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- Higher-order optimization library☆74Updated last year
- A build tool/package manager for C, configured with Dhall☆67Updated last year
- Map lazy functional language constructs to LLVM IR☆50Updated 6 years ago
- A compiler for functional programs on serialized data☆164Updated last week
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Fast parsing from bytestrings☆161Updated 2 months ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 5 months ago
- A logical authorization system☆51Updated 3 years ago
- being an operating system for typechecking processes☆126Updated 2 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Library of the ##dependent distributed research support group☆114Updated 11 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 10 months ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Named parameters (keyword arguments) for Haskell☆95Updated 3 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago