VictorTaelin / absal-rsView external linksLinks
☆35Jul 30, 2018Updated 7 years ago
Alternatives and similar repositories for absal-rs
Users that are interested in absal-rs are comparing it to the libraries listed below
Sorting:
- learning cuda☆19Jun 27, 2016Updated 9 years ago
- Absal ex☆59Sep 8, 2023Updated 2 years ago
- Optimal evaluator of λ-calculus terms.☆283Feb 4, 2023Updated 3 years ago
- Thoughts and stuff☆71Apr 30, 2020Updated 5 years ago
- Macro Lambda Calculus☆50Mar 23, 2019Updated 6 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 7 years ago
- A formalisation of the Calculus of Constructions☆70Jul 24, 2024Updated last year
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Jun 17, 2019Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Aug 14, 2020Updated 5 years ago
- A minimal proof language.☆212Jan 26, 2019Updated 7 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- ☆36Nov 16, 2021Updated 4 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- ☆13Jun 4, 2018Updated 7 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- Preview the JS code generated by an Elm program☆10Oct 8, 2016Updated 9 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Brain Interpreter for arduino☆12Jul 16, 2018Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- An optimal function evaluator written in JavaScript.☆139Jul 25, 2017Updated 8 years ago
- Software without side-effects. Redo and Undo.☆24Dec 18, 2018Updated 7 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Jul 23, 2020Updated 5 years ago
- An implementation of the Formality language in C☆13Oct 12, 2019Updated 6 years ago
- Fast replacements for some common functions on linked lists☆13Dec 14, 2017Updated 8 years ago
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- A drop-in, faster implementation of `Dict` from `elm/core`☆11Nov 19, 2025Updated 2 months ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- ☆11Nov 2, 2021Updated 4 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- A nice Haskell graphics API. There's always room for jello.☆41May 31, 2018Updated 7 years ago
- An implementation of the Formality language in JavaScript☆71Aug 27, 2019Updated 6 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Apr 25, 2017Updated 8 years ago