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 last year
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 10 months ago
- Month Long Course on DAO Development☆10Nov 21, 2021Updated 4 years ago
- This is a repository for an experimental literary project: producing imaginary source code for novels.☆19Dec 9, 2011Updated 14 years ago
- Docker image with StatsD, Graphite and Grafana 2☆11Mar 25, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Apr 2, 2026Updated last week
- a collection of patches for BELA by bela.io☆14Dec 16, 2022Updated 3 years ago
- A drone of infinite duration. Made with SuperCollider.☆11Jan 11, 2021Updated 5 years ago
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 5 months ago
- PHP SDK for LND☆12Jan 18, 2023Updated 3 years ago
- DID Method Working Group operations repo☆17Updated this week
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- Programmatically control various synths (see list in README) via midi using Go☆33Jan 21, 2026Updated 2 months ago
- A BTree implementation as a python C extension☆24May 11, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This repo contains Go implementation and corresponding APIs for acceleration of Binarized Neural Network (BNN) on FPGAs.☆21Nov 13, 2018Updated 7 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 3 years ago
- An instant, self-custodial Bitcoin wallet for JS devs.☆24Mar 20, 2025Updated last year
- Source Code for 'The Joys of Hashing' by Thomas Mailund☆20Feb 11, 2019Updated 7 years ago
- ASN.1 BER codec and compiler (C/Python) for embedded/small systems☆15Jul 27, 2015Updated 10 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- Particle Syntax Website☆16Sep 16, 2024Updated last year
- 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☆17Jul 25, 2023Updated 2 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 library for ranking collection☆38Oct 9, 2020Updated 5 years ago
- Generates .h and .cpp from unseparated .cpp☆19Aug 22, 2022Updated 3 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- Web-based audio patching environment☆31Mar 6, 2026Updated last month
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A NEAT library in Python☆14Jun 4, 2022Updated 3 years ago
- The conference that comes together while you sleep.☆17Feb 12, 2021Updated 5 years ago
- Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes☆17Mar 16, 2026Updated 3 weeks ago
- Pomodoro Timer for Pharo☆12Jan 7, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Python interpreter for APL based off of the LSBASI series.☆16Apr 4, 2021Updated 5 years ago
- Lambda calculus parser in Haskell☆14Dec 21, 2016Updated 9 years ago
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- Client library for lnurl-pay and lightning address☆23Oct 27, 2025Updated 5 months ago
- A module for the Magic Mirror to display tweets from a user's timeline or list.☆14Apr 1, 2020Updated 6 years ago
- Music Of a People. Music for the people by the people. #BuildPublicDomain☆14Jul 25, 2024Updated last year
- TinyBasic implementation in Racket (WIP)☆14Apr 25, 2025Updated 11 months ago