A lambda calculus interpreter in Python
☆20Mar 4, 2021Updated 5 years 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:
- Sampling without replacement algorithms☆16Jun 11, 2024Updated last year
- A lambda calculus interpreter in python.☆12Jul 1, 2023Updated 2 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated last year
- Visualize javascript objects as fractal trees☆18Sep 8, 2017Updated 8 years ago
- JavaScript implementation of Bitcoin IPLD formats☆13Dec 6, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Docker image with StatsD, Graphite and Grafana 2☆11Mar 25, 2019Updated 7 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- Your mobile Bitcoin node☆58Updated this week
- DID Method Working Group operations repo☆17Jun 2, 2026Updated last week
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- A BTree implementation as a python C extension☆25May 11, 2015Updated 11 years ago
- Interpreters from Kamin's PLIBA book, rewritten in Python 3☆20Jun 8, 2021Updated 5 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A minimalistic MVC framework , for real PHP developers, by real PHP developers.☆11Nov 28, 2023Updated 2 years ago
- OpenGL bindings for Crystal☆15Nov 27, 2018Updated 7 years ago
- symbolic processing experiments☆18Apr 10, 2026Updated 2 months ago
- An instant, self-custodial Bitcoin wallet for JS devs.☆25Mar 20, 2025Updated last year
- Try Scroll in your web browser☆18Apr 12, 2026Updated last month
- Zoom Node.js Chatbot Library☆18Nov 26, 2024Updated last year
- A repository used to reproduce Axelrod's tournament☆16May 7, 2020Updated 6 years ago
- Experimenting with audio visualizations and particle systems in OpenGL☆19Nov 26, 2021Updated 4 years ago
- Medical records you can copy and paste☆12Mar 3, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- Particle Syntax Website☆16Apr 12, 2026Updated last month
- [CEC 2019] Genetic Programming with Rademacher Complexity. Paper Link: https://ieeexplore.ieee.org/document/8790341☆18Jul 25, 2023Updated 2 years ago
- A spreadsheet engine implemented in Python.☆19Aug 24, 2024Updated last year
- A library for ranking collection☆38Oct 9, 2020Updated 5 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
- Generates .h and .cpp from unseparated .cpp☆19Aug 22, 2022Updated 3 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A data serialization format☆15Oct 29, 2022Updated 3 years ago
- Pomodoro Timer for Pharo☆12Jan 7, 2025Updated last year
- 🌀🖥️ The Fibonacci Sequence Implemented in COBOL☆14Oct 26, 2018Updated 7 years ago
- Lambda calculus parser in Haskell☆14Dec 21, 2016Updated 9 years ago
- ncurses API/FFI for Racket☆16Nov 21, 2019Updated 6 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- ☆20Sep 27, 2024Updated last year