Manifest manifold models with magical machinations.
☆38Oct 26, 2025Updated 4 months ago
Alternatives and similar repositories for summonscript
Users that are interested in summonscript are comparing it to the libraries listed below
Sorting:
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated last year
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 6 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- Haskell library of data types and calculations for positions on planet Earth☆20Feb 2, 2026Updated 3 weeks ago
- A Fun Frontend Language☆16Apr 27, 2023Updated 2 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- Perceptual hashing command-line tool☆19Jan 28, 2026Updated 3 weeks ago
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 8 months ago
- Summer school on programming in Agda☆68Aug 1, 2023Updated 2 years ago
- A desktop app companion to the UCM CLI☆66Feb 9, 2026Updated 2 weeks ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 5 years ago
- miniKanren for JavaScript☆27Jul 18, 2023Updated 2 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Feb 17, 2026Updated last week
- A functional test framework for LSP servers☆35Mar 22, 2021Updated 4 years ago
- Provides the region monad for safely opening and working with scarce resources☆33Feb 24, 2015Updated 11 years ago
- SECD microprocessor reimplementation in VHDL☆36Nov 13, 2019Updated 6 years ago
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆35Updated this week
- Haskell + Scotty example RealWorld API implementation for https://realworld.io☆28Jan 1, 2025Updated last year
- ☆39Oct 19, 2017Updated 8 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Dec 18, 2025Updated 2 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Feb 14, 2021Updated 5 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- Small library for describing HKTs in TypeScript☆32May 9, 2018Updated 7 years ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- generate and parse url search parameters with zod objects☆11Feb 24, 2025Updated last year
- ☆11Jul 7, 2020Updated 5 years ago
- A simple raytracer written in Lean 4☆143May 16, 2024Updated last year
- A spreadsheet where formulas also update backwards☆79Dec 11, 2025Updated 2 months ago
- FRP: Fast Random Projections☆43Jun 1, 2020Updated 5 years ago