Lambda Calculus things implemented on Python
☆89Sep 5, 2019Updated 7 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:
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆29Jan 10, 2025Updated last year
- a compiler for re-writing image processing functions in C++ to Halide☆25Jan 28, 2023Updated 3 years ago
- a hardware of 🦣 keyboard☆21Sep 19, 2022Updated 4 years ago
- The implementation of the Elevate language☆32Mar 21, 2025Updated last year
- Formatter for Protocol Buffer files written in Haskell☆29Jul 14, 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.
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆12Aug 13, 2023Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 5 years ago
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- Repo for the Journal of Systems Research (JSYS)☆11Jan 7, 2020Updated 6 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 9 months ago
- compiler for fortran stencils using verified lifting,☆20Apr 5, 2022Updated 4 years ago
- PolyBench/Python is the reimplementation of PolyBench in the Python programming language. It is a benchmark suite of 30 numerical computa…☆10Feb 23, 2021Updated 5 years ago
- A library to make writing C code easier, enjoyable, and not repetitive. (Devleopment is stale because I decided to leave C)☆36Nov 20, 2022Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 7 months 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.
- ☆47Feb 26, 2026Updated 6 months ago
- Implementation of the skip quadtree and compressed quadtree data structures.☆28Apr 28, 2013Updated 13 years ago
- ☆12Mar 13, 2025Updated last year
- My Agda/Mikan stuff☆13Aug 29, 2026Updated 3 weeks ago
- ☆16Jun 9, 2024Updated 2 years ago
- The main third-party documentation of communication protocols used by Texas Instruments graphing calculators and implemented by libticalc…☆14Mar 29, 2015Updated 11 years ago
- A centralized repository for network analysis tools.☆11Dec 16, 2019Updated 6 years ago
- ☆16Jun 5, 2016Updated 10 years ago
- A clientside minecraft mod for enhancing the visuals of falling blocks☆13Updated this week
- 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.
- Generate code Python source cross-reference facts in Kythe format☆26Sep 23, 2024Updated last year
- DEPRECATED: Use https://github.com/18F/gapps-download instead☆10Oct 27, 2015Updated 10 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- Clojure interpreter that does not support alphanumerics.☆12Apr 1, 2015Updated 11 years ago
- Play tetris in typst☆12Dec 22, 2023Updated 2 years ago
- Helm charts repo☆15Jul 26, 2026Updated last month
- A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.☆17Mar 17, 2019Updated 7 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- Image-Based Mesh Generation☆14Apr 7, 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.
- Use tests to monitor changes in Aeson serialization☆18Aug 27, 2024Updated 2 years ago
- Example implementations of spinlocks☆22Dec 15, 2020Updated 5 years ago
- ☆18Jun 13, 2024Updated 2 years ago
- Assessing and Improving data quality in OpenAlex☆12Nov 22, 2022Updated 3 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆15Sep 4, 2024Updated 2 years ago
- FuturePool is a package that introduce known concept of multiprocessing Pool to the async/await world. It allows for easy translation fro…☆14Nov 10, 2024Updated last year
- Tools to process OpenAlex raw snapshot files☆12Mar 23, 2026Updated 5 months ago