A lambda calculus interpreter in Python
☆20Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for pylambdac
Users that are interested in pylambdac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lambda calculus interpreter in python.☆14Jul 1, 2023Updated 3 years ago
- Sampling without replacement algorithms☆28Oct 16, 2026Updated 2 weeks ago
- Visualize javascript objects as fractal trees☆18Sep 8, 2017Updated 9 years ago
- Pi-calculus in Coq☆12Oct 18, 2020Updated 6 years ago
- Decides statements in propositional logic, modal logic, unary (monadic) predicate logic and term logic.☆10Feb 3, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 12 years ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 6 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- Watch a simulation of emoji Rock, Paper, Scissors battle it out.☆11Aug 9, 2021Updated 5 years ago
- The BCPL compiler, based on the original BCPL compiler which had been written by Martin Richards. Copyright (c) 2012 Robert Nordier. All …☆23Jan 23, 2019Updated 7 years ago
- A super simple arithmetic grammar parsing example with ANTLR4 rust target☆15Oct 30, 2022Updated 4 years ago
- ☆12Jan 21, 2018Updated 8 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- Source Code for 'The Joys of Hashing' by Thomas Mailund☆20Feb 11, 2019Updated 7 years ago
- C# library based on Python 3 itertools☆10Jan 20, 2022Updated 4 years ago
- Camera-action is a component to ease camera (getusermedia) management.☆14Apr 10, 2013Updated 13 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆10May 3, 2022Updated 4 years ago
- OpenGL bindings for Crystal☆15Nov 27, 2018Updated 7 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 7 years ago
- Generator for order-preserving minimal perfect hash functions in C☆49Dec 14, 2022Updated 3 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Brainf**k Compiler for .net☆13Sep 11, 2010Updated 16 years ago
- Try Scroll in your web browser☆18Sep 18, 2026Updated last month
- Backtracking regular expression engine written in Python☆13Nov 4, 2022Updated 3 years ago
- A spreadsheet engine implemented in Python.☆19Aug 24, 2024Updated 2 years ago
- Scala Powered Lisp☆12Jun 8, 2014Updated 12 years ago
- A framework for developing macOS apps with a GUI using Crystal☆18Apr 24, 2019Updated 7 years ago
- Pomodoro Timer for Pharo☆12Jan 7, 2025Updated last year
- ⛓ A Crystal library for building Markov Chains and running Markov Processes.☆20Mar 22, 2021Updated 5 years ago
- Objects propagation based on event sourcing☆12May 17, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆18Oct 26, 2025Updated last year
- An OCaml client library for Discord☆13Jan 24, 2016Updated 10 years ago
- Source code accompanying a blog entry on UHC's Javascript backend☆15Oct 26, 2010Updated 16 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- ☆11Oct 23, 2019Updated 7 years ago
- The official website for the Hy programming language☆18Jul 31, 2026Updated 2 months ago
- ☆18Oct 30, 2017Updated 9 years ago