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:
- A lambda calculus interpreter in python.☆13Jul 1, 2023Updated 3 years ago
- Sampling without replacement algorithms☆16Jun 11, 2024Updated 2 years ago
- Visualize javascript objects as fractal trees☆18Sep 8, 2017Updated 8 years ago
- JavaScript implementation of Bitcoin IPLD formats☆13Dec 6, 2022Updated 3 years ago
- Advent of Code 2024☆15Dec 3, 2025Updated 7 months 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.
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 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
- Experimenting with audio visualizations and particle systems in OpenGL☆19Nov 26, 2021Updated 4 years ago
- Backtracking regular expression engine written in Python☆13Nov 4, 2022Updated 3 years ago
- an artificial data generator for process discovery evaluation☆12Aug 22, 2019Updated 6 years ago
- Source Code for 'The Joys of Hashing' by Thomas Mailund☆20Feb 11, 2019Updated 7 years ago
- Generates .h and .cpp from unseparated .cpp☆19Aug 22, 2022Updated 3 years ago
- Try Scroll in your web browser☆18Apr 12, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Python interpreter for APL based off of the LSBASI series.☆19Apr 4, 2021Updated 5 years ago
- [CEC 2019] Genetic Programming with Rademacher Complexity. Paper Link: https://ieeexplore.ieee.org/document/8790341☆19Jul 25, 2023Updated 2 years ago
- Medical records you can copy and paste☆12Mar 3, 2023Updated 3 years ago
- Docs, notes and resources that don't fit elsewhere.☆13May 23, 2023Updated 3 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A NEAT library in Python☆14Jun 4, 2022Updated 4 years ago
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- Pomodoro Timer for Pharo☆12Jan 7, 2025Updated last year
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The conference that comes together while you sleep.☆17Feb 12, 2021Updated 5 years ago
- Try your luck at finding Satoshi's private key☆22May 31, 2024Updated 2 years ago
- Lambda calculus parser in Haskell☆15Updated this week
- A module for the Magic Mirror to display tweets from a user's timeline or list.☆14Apr 1, 2020Updated 6 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- ☆20Sep 27, 2024Updated last year
- TinyBasic implementation in Racket (WIP)☆14Apr 25, 2025Updated last year
- ⛓ A Crystal library for building Markov Chains and running Markov Processes.☆20Mar 22, 2021Updated 5 years ago
- A data serialization format☆15Oct 29, 2022Updated 3 years 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.
- Client library for lnurl-pay and lightning address☆23Oct 27, 2025Updated 8 months ago
- A kata to practice dealing with expensive and hard-to-test infrastructure.☆12Feb 10, 2025Updated last year
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated 2 years ago
- Easily cache Open Weather Map API calls, and string multiple free accounts together.☆15Dec 10, 2022Updated 3 years ago
- Calculate ids corresponding to sorting an input array☆20Aug 5, 2023Updated 2 years ago
- Workflow engine written in Pharo☆11Apr 28, 2022Updated 4 years ago
- A compiler for a simple language using llvm☆38Jun 14, 2023Updated 3 years ago