BekaValentine / so-you-want-to-write-a-type-checkerView external linksLinks
☆56Mar 2, 2017Updated 8 years ago
Alternatives and similar repositories for so-you-want-to-write-a-type-checker
Users that are interested in so-you-want-to-write-a-type-checker are comparing it to the libraries listed below
Sorting:
- Fast replacements for some common functions on linked lists☆13Dec 14, 2017Updated 8 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- Working through Type-Driven Development with Idris☆25Sep 7, 2016Updated 9 years ago
- HoTT Note-taking action☆25Mar 24, 2019Updated 6 years ago
- Preview the JS code generated by an Elm program☆10Oct 8, 2016Updated 9 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 3 years ago
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆11May 11, 2016Updated 9 years ago
- A simple Tiger to MIPS compiler, written in Standard-ML☆23Jul 31, 2013Updated 12 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆134Aug 28, 2020Updated 5 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Aug 1, 2024Updated last year
- Collection of awesome Ur/Web libraries, components, and projects☆13Dec 11, 2021Updated 4 years ago
- An example of one way you could use hot reloading with Halogen.☆17Dec 7, 2018Updated 7 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- My self-built emacs configuration☆11Feb 8, 2026Updated last week
- C++11 library for many-sorted logics☆39Nov 21, 2016Updated 9 years ago
- Type level natural numbers and booleans☆34Sep 5, 2019Updated 6 years ago
- An implementation of emcascript interfaces in Sweet.js.☆33Nov 27, 2017Updated 8 years ago
- ☆31Dec 3, 2022Updated 3 years ago
- purescript-behaviors in PSCi☆19Jul 5, 2019Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Mar 30, 2018Updated 7 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Aug 28, 2021Updated 4 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated last week
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Apr 18, 2011Updated 14 years ago
- ☆21Feb 27, 2023Updated 2 years ago
- A simple library for modelling and executing Petri Nets☆15Jan 5, 2015Updated 11 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Oct 24, 2024Updated last year
- Brent's PhD thesis.☆69Apr 8, 2016Updated 9 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Apr 27, 2022Updated 3 years ago
- generate contextually sensible fuzz tests for servant apps☆26Oct 7, 2025Updated 4 months ago