A lambda calculus interpreter in python.
☆12Jul 1, 2023Updated 2 years ago
Alternatives and similar repositories for Lcalc
Users that are interested in Lcalc 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 Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 6 months ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- A GUI frontend for Homebrew☆12Sep 30, 2022Updated 3 years ago
- Interpreters from Kamin's PLIBA book, rewritten in Python 3☆20Jun 8, 2021Updated 4 years ago
- 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 Snazzy README generator for your public API built on SourceKitten☆12May 28, 2016Updated 9 years ago
- a storage less password manager☆16Jun 3, 2020Updated 5 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 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
- symbolic processing experiments☆18Apr 10, 2026Updated 3 weeks ago
- C# library based on Python 3 itertools☆10Jan 20, 2022Updated 4 years ago
- A Swift/Shell DSL using dynamicCallable and dynamicMemberLookup☆14Nov 10, 2025Updated 5 months ago
- A high-level programming language written in Scala☆35Nov 26, 2023Updated 2 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.
- An implementation of the Lox programming language☆10Nov 24, 2020Updated 5 years ago
- An Elixir-like pipes for Ruby (oh no not again). Experiment/demo☆14Nov 16, 2024Updated last year
- A portable Forth compiler☆12Nov 24, 2024Updated last year
- A library for ranking collection☆38Oct 9, 2020Updated 5 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- A Rust backend crate for the popular card game, Blackjack, designed to also be compiled for linking with C☆11Sep 17, 2019Updated 6 years ago
- (Hopefully) a compiler for my first language named "Pie"☆26Updated this week
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 2 years ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A .NET library that gets you chatting with web APIs quickly.☆30Jun 22, 2022Updated 3 years ago
- cli-command template☆19Sep 18, 2024Updated last year
- Collection of AWS Lambda functions in Python☆11Mar 13, 2019Updated 7 years ago
- ☆10Jul 14, 2018Updated 7 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 2 years ago
- Execute child processes and system commands from Swift☆17Jan 17, 2021Updated 5 years ago
- An interpreted array programming language☆16Jan 23, 2026Updated 3 months ago
- Immutable, in-memory B-Tree implementation for Scala☆25Aug 6, 2013Updated 12 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 3 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.
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆14May 19, 2017Updated 8 years ago
- Distributed Web Crawler, Parser and Search Engine.☆10Jun 16, 2016Updated 9 years ago
- A load balancing proxy with mTLS encryption via QUIC or HTTP/2[WIP]☆15Jul 4, 2023Updated 2 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆13Jun 30, 2023Updated 2 years ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- ☆25Dec 20, 2021Updated 4 years ago