Implementing a small functional language with a combinator based graph-reduction machine
☆40Sep 10, 2025Updated 5 months ago
Alternatives and similar repositories for lambda-ski
Users that are interested in lambda-ski are comparing it to the libraries listed below
Sorting:
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Useful, efficient, precise binary schema modelling in Haskell☆15Aug 18, 2025Updated 6 months ago
- Access unicode character database☆18Sep 16, 2025Updated 5 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- # A simple variable binding library based on well-scoped indices and environments☆29Oct 15, 2025Updated 4 months ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Feb 5, 2020Updated 6 years ago
- Tool for cleaning away old Haskell Stack build artifacts☆39Dec 29, 2025Updated last month
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- A core language and API for dependently typed languages☆97Feb 19, 2025Updated last year
- ☆23Sep 22, 2021Updated 4 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- transform literate source code to Markdown☆14Dec 19, 2025Updated 2 months ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆78Updated this week
- A logical authorization system☆51Mar 2, 2022Updated 3 years ago
- ☆14Feb 14, 2025Updated last year
- ☆12Jul 16, 2024Updated last year
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated 10 months ago
- Postgres extensions in C++☆16Sep 27, 2025Updated 5 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Dec 12, 2025Updated 2 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 4 years ago
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- ☆14Nov 4, 2025Updated 3 months ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Computer Modern web fonts with public CDN☆15Mar 11, 2025Updated 11 months ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 10 months ago
- IDE support for the functional logic programming language Curry☆35Oct 23, 2025Updated 4 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated this week
- A modern Haskell debugger☆31May 1, 2025Updated 9 months ago
- A general purpose statically-typed concatenative programming language.☆56Apr 28, 2023Updated 2 years ago