fluffynukeit / scbt
Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
☆11Updated 5 years ago
Alternatives and similar repositories for scbt:
Users that are interested in scbt are comparing it to the libraries listed below
- An interpreter of F-ing modules☆18Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated last month
- Haskell bindings to Rust's regex library☆18Updated 3 weeks ago
- Haskell bindings to binaryen.☆14Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Wasm library for PureScript☆27Updated 7 months ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- A TOML parser for Idris 2☆15Updated 8 months ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Session types in Idris2!☆27Updated 4 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Nested Relational Calculus embedded in Haskell☆16Updated 12 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Patience diff and longest increasing subsequence☆12Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- small programming language. pls be gentle.☆39Updated last month
- Recursion schemes in ATS☆9Updated 2 years ago
- Classical Logic in Haskell☆24Updated last month
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago