Well Typed Foundations 🏛️
☆14Feb 3, 2021Updated 5 years ago
Alternatives and similar repositories for wtf
Users that are interested in wtf are comparing it to the libraries listed below
Sorting:
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- A Haskell fan fiction for ReasonML☆20Dec 30, 2018Updated 7 years ago
- ☆21Mar 21, 2022Updated 3 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 4 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- Haskell implementation of the KDL Document Language☆28Dec 15, 2025Updated 2 months ago
- Inline Haskell inside your Python code☆25Jan 13, 2026Updated last month
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 7 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- ☆40Aug 5, 2024Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- A Tour of Standard ML (in the style of A Tour of Go)☆59Jul 4, 2021Updated 4 years ago
- SML On Stilts☆37Feb 6, 2014Updated 12 years ago
- wdi dc 5☆10Mar 14, 2020Updated 5 years ago
- Data Science Ontology☆40Sep 17, 2025Updated 5 months ago
- ☆53Nov 25, 2020Updated 5 years ago
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Example ReasonML app with GraphQL + Apollo we build together in a tutorial.☆10Nov 24, 2018Updated 7 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Functional Monadic Library for Ocaml☆57Feb 22, 2026Updated last week
- ONE-SHOT Algebraic Effects for Lua!☆50Mar 11, 2025Updated 11 months ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- ☆11Oct 24, 2019Updated 6 years ago
- ReScript bindings for @react-native-async-storage/async-storage☆12Feb 9, 2023Updated 3 years ago
- LotusJS is a framework for developing HTML5 applications using web components and TypeScript. It uses a functional style and leverages ra…☆11Feb 17, 2026Updated 2 weeks ago
- ☆14Aug 15, 2018Updated 7 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- An extension that adds code snippets to Visual Studio Code☆13Mar 4, 2019Updated 7 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year