themotte / tildesLinks
☆11Updated 3 years ago
Alternatives and similar repositories for tildes
Users that are interested in tildes are comparing it to the libraries listed below
Sorting:
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆452Updated 6 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆268Updated 3 weeks ago
- Library of the ##dependent distributed research support group☆119Updated last year
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- A reference library for constraint-solving with propagators and CDCL.☆308Updated last year
- Convert lambda expressions to CCC combinators☆149Updated 9 years ago
- Programming language agnostic type construction language based on polynomials.☆370Updated last year
- Canonical miniKanren implementation in Racket☆18Updated 9 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Updated 3 years ago
- A simple expressions language with polymorphic extensible row types.☆305Updated 2 years ago
- Generalized bananas, lenses and barbed wire☆352Updated last month
- Language independent type-safe communication☆134Updated 7 years ago
- Play Minesweeper by formally proving your moves in Idris☆169Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Haskell + Lisp☆214Updated last year
- A less devious proof assistant☆230Updated 3 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Updated 7 years ago
- Abstracting Definitional Interpreters☆74Updated 8 years ago
- Collection of Idris tests and demonstration programs☆194Updated 7 years ago
- ☆138Updated 3 years ago
- The Art of the Propagator. See also:☆179Updated last year
- Companion to the Haskell in Production series☆80Updated 6 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- An example of back-propagation implemented in Haskell.☆26Updated 11 years ago
- Play/learn/work with me☆114Updated 2 months ago
- A purely functional programming language with first class types☆61Updated 10 months ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆200Updated 4 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago