fast combinations calculation in jax
☆40Jul 12, 2024Updated 2 years ago
Alternatives and similar repositories for combinadics
Users that are interested in combinadics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated 4 months ago
- A verified tensor library in Lean☆49Sep 15, 2026Updated last week
- PDP-11 operating system.☆29Nov 2, 2021Updated 4 years ago
- A star for organising blocks and playing with transformers.☆23Apr 28, 2024Updated 2 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- rust bindings for blender via extism☆17Feb 3, 2026Updated 7 months ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- A cross-language, zero-copy coroutine observability framework based on the cTP shared-memory protocol, utilizing lock-free ring buffers f…☆32Apr 4, 2026Updated 5 months ago
- Godot-based Rust multi-PTY emulator desktop application☆76Sep 18, 2026Updated last week
- egraph <-> json☆17Dec 29, 2025Updated 8 months ago
- A Lean-embedded framework to verify Verilog modules☆15Updated this week
- OCaml record fields as first class values☆22Jul 10, 2026Updated 2 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.
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated last year
- E-Graph library☆23Apr 4, 2024Updated 2 years ago
- Applications leveraged by Statistics Canada, ready to launch on Kubernetes using Helm.☆10Dec 8, 2025Updated 9 months ago
- Ask for solutions.☆19Aug 5, 2019Updated 7 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- ☆13May 2, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- High-Performance Klong array language in Python.☆315Jun 1, 2026Updated 3 months ago
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite count…☆21Aug 13, 2026Updated last month
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated last month
- Learning about Haskell with Variational Autoencoders☆20Nov 16, 2019Updated 6 years ago
- a short graduate population biology course☆13Feb 22, 2023Updated 3 years ago
- Vehicle control☆11Jun 8, 2019Updated 7 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Updated this week
- An implementation of Fibonacci Anyons in Haskell☆23Oct 14, 2019Updated 6 years 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.
- Towards Optimal-Space Minimal Perfect Hashing Beyond Brute-Force☆15Mar 31, 2025Updated last year
- tinypy is a minimalist implementation of python☆16Dec 30, 2010Updated 15 years ago
- Public reference documents for the SMT-LIB standard☆22Jul 28, 2026Updated last month
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆22Aug 11, 2026Updated last month
- LMS algorithm for computing edit distance with SIMD optimizations☆11Mar 25, 2024Updated 2 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated last year