A functional programming language for procedural art
☆76Feb 15, 2026Updated 3 weeks ago
Alternatives and similar repositories for xylo
Users that are interested in xylo are comparing it to the libraries listed below
Sorting:
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Quick File Transfer, true peer-to-peer over UDP☆12Updated this week
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated 2 weeks ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Jan 12, 2018Updated 8 years ago
- ☆14Nov 4, 2025Updated 4 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- Volt is a custom DAW. That's all you need to know for now.☆46Dec 15, 2025Updated 2 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- ☆17Oct 16, 2018Updated 7 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Matt's ASCII Game Engine core crate☆39Dec 4, 2024Updated last year
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated this week
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 8 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- Fir programming language☆97Updated this week
- # A simple variable binding library based on well-scoped indices and environments☆29Oct 15, 2025Updated 4 months ago
- Matrix decomposition algorithms including PCA (principal component analysis) and ICA (independent component analysis)☆20Feb 10, 2026Updated 3 weeks ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 3 months ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- A royal collection of exquisite widgets and helpers to rule your iced kingdom☆22Feb 16, 2026Updated 3 weeks ago
- Haskell implementation of data structures for data science☆24Jan 2, 2026Updated 2 months ago
- Code repository and Bookdown project for Online Companion to Network Science in Archaeology by Tom Brughmans and Matthew A. Peeples (Camb…☆30Feb 14, 2025Updated last year
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- A statically generated webring with YOCaml, because we love small-web☆24Aug 25, 2025Updated 6 months ago