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 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
- This is a repository for an experimental literary project: producing imaginary source code for novels.☆19Dec 9, 2011Updated 14 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 8 months ago
- PHP SDK for LND☆12Jan 18, 2023Updated 3 years ago
- Your mobile Bitcoin node☆60Jun 15, 2026Updated 2 weeks ago
- DID Method Working Group operations repo☆17Updated this week
- Advent of Code 2024☆15Dec 3, 2025Updated 6 months ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 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.
- SHA-3 cpu and gpu (CUDA) calculation☆17Jun 25, 2018Updated 8 years ago
- 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
- An instant, self-custodial Bitcoin wallet for JS devs.☆25Mar 20, 2025Updated last year
- Try Scroll in your web browser☆18Apr 12, 2026Updated 2 months ago
- Zoom Node.js Chatbot Library☆18Nov 26, 2024Updated last year
- Backtracking regular expression engine written in Python☆13Nov 4, 2022Updated 3 years ago
- A repository used to reproduce Axelrod's tournament☆16May 7, 2020Updated 6 years ago
- Docs, notes and resources that don't fit elsewhere.☆13May 23, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Medical records you can copy and paste☆12Mar 3, 2023Updated 3 years ago
- Particle Syntax Website☆16Apr 12, 2026Updated 2 months ago
- GNU Scientific Library bindings for Crystal☆22Dec 7, 2022Updated 3 years ago
- [CEC 2019] Genetic Programming with Rademacher Complexity. Paper Link: https://ieeexplore.ieee.org/document/8790341☆19Jul 25, 2023Updated 2 years ago
- 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
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- The conference that comes together while you sleep.☆17Feb 12, 2021Updated 5 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.
- Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes☆17Mar 16, 2026Updated 3 months ago
- Carpooling to the database (demo)☆13Oct 29, 2018Updated 7 years ago
- 🌀🖥️ The Fibonacci Sequence Implemented in COBOL☆14Oct 26, 2018Updated 7 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated 2 years ago
- Create and modify Word documents with Python☆12May 8, 2026Updated last month
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- Lambda calculus parser in Haskell☆14Dec 21, 2016Updated 9 years ago