An extended typed Lambda Calculus
☆21Aug 5, 2024Updated last year
Alternatives and similar repositories for lamdu-calculus
Users that are interested in lamdu-calculus are comparing it to the libraries listed below
Sorting:
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- ☆14Nov 5, 2019Updated 6 years ago
- A small software renderer☆10Dec 19, 2019Updated 6 years ago
- ☆16Mar 11, 2022Updated 3 years ago
- A basic APL Skeleton to get you started writing with APL☆24Feb 14, 2018Updated 8 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Aug 17, 2013Updated 12 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- Converting Non-Recursive Datalog to SQL☆24Oct 30, 2016Updated 9 years ago
- An MVC library for writing interactive webpages in OCaml☆35Jan 23, 2015Updated 11 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- Haskell-based OpenWhisk services☆21Aug 10, 2016Updated 9 years ago
- Code for live-coding session☆20Sep 7, 2015Updated 10 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- A Python backed for Idris 2☆29Nov 25, 2025Updated 3 months ago
- Ende is a hypothetical programming language.☆23Oct 19, 2020Updated 5 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Mar 18, 2015Updated 10 years ago
- Invertible parsing for S-expressions☆34Feb 4, 2026Updated last month
- Benchmarks for capture-avoiding substitution☆122May 30, 2025Updated 9 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- A graphical interactive proof assistant designed for education☆170Nov 21, 2024Updated last year
- A Common Lisp DSL and code generator for producing readable C/C++ (and CUDA/OpenCL) from s-expressions.☆37Feb 22, 2026Updated last week
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Gigachad Maker allows you to create a "Gigachad Meme" GIF by leveraging the power of the Remotion framework for React.☆13Jun 11, 2023Updated 2 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- A music player that lists and plays all .mp3 files in a given folder. Everything is written without any external code, except decoding of…☆11Feb 12, 2022Updated 4 years ago
- you can start vmess proxy with easy setup☆13Oct 20, 2022Updated 3 years ago
- Low-Code SaaS Framework☆10Jan 14, 2026Updated last month