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:
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 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
- 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
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 6 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.
- user-editable, acronym-only dictionary☆24Jan 7, 2017Updated 9 years ago
- DEPRECATED: Use https://github.com/18F/gapps-download instead☆10Oct 27, 2015Updated 10 years ago
- ☆12Mar 13, 2025Updated last year
- My Agda stuff☆13May 31, 2026Updated last week
- A standard-derived suite of cryptography libraries for the TI-84+ CE graphing calculator.☆14Jan 24, 2026Updated 4 months ago
- Progressively enhance your HTML with dynamic data☆13May 1, 2018Updated 8 years ago
- A centralized repository for network analysis tools.☆11Dec 16, 2019Updated 6 years ago
- Dokku buildpack for GitLab☆22Apr 5, 2015Updated 11 years ago
- A clientside minecraft mod for enhancing the visuals of falling blocks☆13Mar 27, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- NASM listing to shellcode converter☆14May 6, 2018Updated 8 years ago
- A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.☆16Mar 17, 2019Updated 7 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- Clojure interpreter that does not support alphanumerics.☆13Apr 1, 2015Updated 11 years ago
- Painless timelapsing to show off your productivity.☆16Apr 24, 2020Updated 6 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- ☆12Jan 7, 2021Updated 5 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- Use tests to monitor changes in Aeson serialization☆18Aug 27, 2024Updated last year
- 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.
- Assessing and Improving data quality in OpenAlex☆12Nov 22, 2022Updated 3 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Tools to process OpenAlex raw snapshot files☆12Mar 23, 2026Updated 2 months ago
- Genie 3 is a fast, all-atom SE(3)-equivariant diffusion model for protein design. It achieves state-of-the-art performance on uncondition…☆107May 10, 2026Updated 3 weeks ago
- TI-84 Plus CE assembly/hardware documentation.☆13Jan 26, 2026Updated 4 months ago
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 3 months ago
- TI Tools is a CLI tool designed for converting 8xp files (used by TI-83 and TI-84 calculators) to text files and vice versa. It also supp…☆15Jan 7, 2026Updated 5 months ago
- Windows hidden thread suspend POC with code injection☆12May 27, 2017Updated 9 years ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 6 months 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.
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 10 years ago
- Limited svg renderer based on Rasterific☆14Jul 13, 2023Updated 2 years ago
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…☆42Sep 30, 2014Updated 11 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- IPython console widget for Binary Ninja☆15Mar 22, 2025Updated last year
- Vscode extension to add ez80 assembly support☆11Jun 20, 2021Updated 4 years ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 5 months ago