Partial evaluation for Python with syntactic sugar
☆36Jun 22, 2016Updated 9 years ago
Alternatives and similar repositories for lambdaX
Users that are interested in lambdaX are comparing it to the libraries listed below
Sorting:
- Emacs package for fuzzy match scoring☆19Dec 24, 2024Updated last year
- ☆23Sep 30, 2016Updated 9 years ago
- ☆36Oct 21, 2024Updated last year
- a small, simple block-backed key-value store for MirageOS☆31Oct 27, 2025Updated 4 months ago
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- ☆30Aug 10, 2025Updated 6 months ago
- Expose build variables obtained with built as a PyDict☆35Jan 22, 2025Updated last year
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- Modern C++, range-based Mach-O parser designed for embedded use. Uses stack allocations only.☆34Oct 31, 2022Updated 3 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆44Jan 24, 2026Updated last month
- Luís' Git☆11Apr 6, 2022Updated 3 years ago
- website for residents to adjust the city of Cleveland proposed budget to reflect their priorities.☆12Feb 20, 2026Updated last week
- Statically typed functional programming language.☆11Jan 25, 2026Updated last month
- High-Level Virtual Machine for statically-typed functional languages.☆49Nov 26, 2011Updated 14 years ago
- Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support☆13Nov 26, 2025Updated 3 months ago
- ☆11Jan 18, 2020Updated 6 years ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- Microbenchmark testing Python, Numba, Mojo, Dart, C/gcc, Rust, Go, JavaScript, C#, Java, Kotlin, Pascal, Ruby, Haskell performance in Man…☆13Mar 26, 2025Updated 11 months ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Scroll smoothly☆12Updated this week
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- OCaml bindings for RE2☆48Jan 15, 2026Updated last month
- Rust program for downloading APKs of given Android package.☆10Oct 29, 2024Updated last year
- A mod that adds a bit of functionality and a bit of performance into thaumcraft 4.☆12Jan 10, 2026Updated last month
- ☆10Nov 14, 2022Updated 3 years ago
- Ultimate IntelliJ IDEA Plugin, PasteBin Plugin for IntelliJ☆14Jan 13, 2018Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- ☆12Mar 10, 2024Updated last year
- ☆10Dec 26, 2018Updated 7 years ago
- Archive of the categories mailling list☆11Sep 8, 2020Updated 5 years ago
- Tensor library for Crystal powered by CUDA and CuDNN☆14Apr 26, 2018Updated 7 years ago
- SQL + Jinja Templates Done Right™☆11Jul 22, 2020Updated 5 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- NSExtension and NSRemoteView example by hosting Notification Center widgets/Today Extensions☆12Sep 16, 2019Updated 6 years ago
- ☆13Sep 30, 2024Updated last year
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago