A lambda calculus interpreter in python.
☆12Jul 1, 2023Updated 2 years ago
Alternatives and similar repositories for Lcalc
Users that are interested in Lcalc are comparing it to the libraries listed below
Sorting:
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Swift Firmware(NOT Pro)☆12Sep 27, 2017Updated 8 years ago
- Distributed Web Crawler, Parser and Search Engine.☆10Jun 16, 2016Updated 9 years ago
- A Collection of free resources for the Akai Music Production Center software and standalone units, including API Documentation, Startup T…☆16Jul 16, 2022Updated 3 years ago
- Expo project template for ReScript☆12Oct 5, 2020Updated 5 years ago
- ☆10Jun 3, 2017Updated 8 years ago
- A simple, budget, DIY F16 ICP flight control panel for use with flight simulators such as DCS World☆13Jan 9, 2022Updated 4 years ago
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 4 months ago
- ☆11Sep 29, 2017Updated 8 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- Deep learning chat based on DL4J☆11Mar 31, 2017Updated 8 years ago
- kafkactl is a command line tool to interact with an Apache Kafka cluster.☆14Nov 20, 2025Updated 3 months ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Mar 19, 2015Updated 10 years ago
- VR pool simulator written in Python (using pyopenvr)☆13Jan 24, 2026Updated last month
- Multiagent optimization system (MAOS) for solving the Traveling Salesman Problem (TSP).☆12Aug 7, 2019Updated 6 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- A ClojureScript wrapper library for TensorFlow.js☆10Oct 7, 2018Updated 7 years ago
- ☆29Feb 14, 2026Updated 2 weeks ago
- mdBook preprocessor for indexing☆18Feb 20, 2026Updated last week
- Rust library for rich text and beautiful formatting in the terminal☆14Dec 7, 2021Updated 4 years ago
- Less is More template for Om☆53Jul 3, 2015Updated 10 years ago
- Tools for building documentation with Sphinx, Graphviz and LaTeX☆13Aug 8, 2025Updated 6 months ago
- Spotify control tool☆12Jul 29, 2020Updated 5 years ago
- A repository used to reproduce Axelrod's tournament☆16May 7, 2020Updated 5 years ago
- An example on how to use Storybook to document ReScriptReact components☆12Nov 20, 2020Updated 5 years ago
- A PHP soap client for the Cvent Event Registration API☆17May 1, 2015Updated 10 years ago
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated 3 weeks ago
- ☆11Dec 7, 2022Updated 3 years ago
- Clojure LLM - Dataset curation for fine tuning an LLM for Clojure.☆16Jun 12, 2023Updated 2 years ago
- A small debugger written in Go☆13Aug 18, 2023Updated 2 years ago
- Python async data gathering☆11Nov 18, 2024Updated last year
- ☆14May 28, 2025Updated 9 months ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year