Lambda Calculus things implemented on Python
☆89Sep 5, 2019Updated 6 years ago
Alternatives and similar repositories for python-lambda-calculus
Users that are interested in python-lambda-calculus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- INFO 5613 Network Science☆22Oct 28, 2021Updated 4 years ago
- Formatter for Protocol Buffer files written in Haskell☆29Jul 14, 2022Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 5 years ago
- ☆13Sep 26, 2024Updated last year
- compiler for fortran stencils using verified lifting,☆20Apr 5, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Set up a specific version of Agda for your GitHub Actions workflow.☆30Nov 24, 2025Updated 5 months ago
- An asynchronous behavior-driven development framework.☆13May 3, 2024Updated 2 years ago
- ☆11Dec 12, 2022Updated 3 years ago
- A compiler for a Lisp dialect☆23Feb 13, 2026Updated 3 months ago
- ☆12Mar 13, 2025Updated last year
- See when your matches made their Tinder + reverse image search☆18Jan 5, 2025Updated last year
- Userspace "driver" for the Logitech k750 Solar Keyboard. A fork of the repo from @noah, kept for posterity. If you're looking for actuall…☆23Feb 2, 2018Updated 8 years ago
- ☆13Mar 26, 2026Updated last month
- My Agda blog/lab/playground☆13Apr 25, 2026Updated 3 weeks 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.
- ☆16Jun 9, 2024Updated last year
- An alternate, gesture controlled, interface to interact with the computer.☆17Jul 28, 2020Updated 5 years ago
- ☆31Sep 14, 2015Updated 10 years ago
- Haskell library for the Chrome DevTools Protocol☆11Dec 27, 2023Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 months ago
- Create SQL queries safely via a JavaScript template tag☆21May 3, 2019Updated 7 years ago
- A NES Emulator Written in Python☆12Dec 9, 2017Updated 8 years ago
- edi configuration for emulated raspbian and raspbian cross compilation.☆17Oct 24, 2025Updated 6 months ago
- Bringing the power of python to stream editing☆50Mar 5, 2026Updated 2 months 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.
- Clojure interpreter that does not support alphanumerics.☆13Apr 1, 2015Updated 11 years ago
- Painless timelapsing to show off your productivity.☆17Apr 24, 2020Updated 6 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Image-Based Mesh Generation☆13Apr 7, 2024Updated 2 years ago
- Jetpacks and Fluxpacks for Minecraft☆12Jan 16, 2026Updated 4 months ago
- ☆12Jan 21, 2018Updated 8 years ago
- Use tests to monitor changes in Aeson serialization☆18Aug 27, 2024Updated last year
- Assessing and Improving data quality in OpenAlex☆12Nov 22, 2022Updated 3 years ago
- Redstone Flux jetpacks, Fluxpacks and more☆14Dec 2, 2019Updated 6 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.
- Command helper for slurm system. Act as if you are on compute node.☆16Feb 1, 2025Updated last year
- Tools to process OpenAlex raw snapshot files☆12Mar 23, 2026Updated last month
- CS194-196 Course Project☆14Feb 20, 2025Updated last year
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 2 months ago
- arched links in networkx drawing☆12Jul 19, 2019Updated 6 years ago
- Windows hidden thread suspend POC with code injection☆12May 27, 2017Updated 8 years ago
- Simple conversion from Agda text to literate Agda text.☆14Dec 26, 2025Updated 4 months ago