A lambda calculus interpreter in Python
☆20Aug 17, 2026Updated last month
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
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- This is a template for making programs using the ASCII character set.☆15Aug 8, 2016Updated 10 years ago
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A drone of infinite duration. Made with SuperCollider.☆13Jan 11, 2021Updated 5 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years ago
- Really simple blog framework written in PHP☆16Feb 18, 2020Updated 6 years ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- A minimalistic MVC framework , for real PHP developers, by real PHP developers.☆11Nov 28, 2023Updated 2 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22May 1, 2022Updated 4 years ago
- ☆12Jan 21, 2018Updated 8 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.
- Experimenting with audio visualizations and particle systems in OpenGL☆19Nov 26, 2021Updated 4 years ago
- A microsite that lists bus travel schedules for a given route and a given date☆24Jun 23, 2023Updated 3 years ago
- Generates .h and .cpp from unseparated .cpp☆19Aug 22, 2022Updated 4 years ago
- Source Code for 'The Joys of Hashing' by Thomas Mailund☆20Feb 11, 2019Updated 7 years ago
- TLDR example project for this blog post:☆18Jan 4, 2023Updated 3 years ago
- Lithium universal oAuth plugin☆25Dec 17, 2014Updated 11 years ago
- Try Scroll in your web browser☆18Updated this week
- A Python interpreter for APL based off of the LSBASI series.☆19Apr 4, 2021Updated 5 years ago
- A spreadsheet engine implemented in Python.☆19Aug 24, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [CEC 2019] Genetic Programming with Rademacher Complexity. Paper Link: https://ieeexplore.ieee.org/document/8790341☆19Jul 25, 2023Updated 3 years ago
- Particle Syntax Website☆17Aug 13, 2026Updated last month
- 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
- Docs, notes and resources that don't fit elsewhere.☆13May 23, 2023Updated 3 years ago
- A text-based real-time strategy game [WIP]☆17Mar 7, 2023Updated 3 years ago
- Pomodoro Timer for Pharo☆12Jan 7, 2025Updated last year
- ☆17Oct 30, 2017Updated 8 years ago
- Source code accompanying a blog entry on UHC's Javascript backend☆15Oct 26, 2010Updated 15 years ago
- A collection of Python bulk import scripts for various data sources☆16Feb 28, 2022Updated 4 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.
- The conference that comes together while you sleep.☆17Feb 12, 2021Updated 5 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- ☆21Sep 27, 2024Updated last year
- ⛓ A Crystal library for building Markov Chains and running Markov Processes.☆20Mar 22, 2021Updated 5 years ago
- ncurses API/FFI for Racket☆17Nov 21, 2019Updated 6 years ago
- A blog demo in Laravel☆20Jan 5, 2023Updated 3 years ago
- A kata to practice dealing with expensive and hard-to-test infrastructure.☆12Feb 10, 2025Updated last year