☆14Jan 14, 2022Updated 4 years ago
Alternatives and similar repositories for jive
Users that are interested in jive are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Regionalized Value State Dependence Graph written in Rust☆13Nov 17, 2019Updated 6 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 7 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Oct 26, 2023Updated 2 years 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 library to implement generalised petri nets in C#☆25May 30, 2016Updated 10 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 5 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆57Mar 21, 2026Updated 6 months ago
- ARV: Asynchronous RISC-V Go High-level Functional Model☆25May 18, 2021Updated 5 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆104Jun 8, 2022Updated 4 years ago
- An experimental RVSDG optimizer for brainfuck code☆24May 18, 2022Updated 4 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆40Sep 10, 2024Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆59Updated this week
- A temporary branch of Solo5 (http://github.com/Solo5/solo5) that contains "nabla-run", a seccomp-based tender for Solo5. We are working o…☆12Nov 30, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆103Jul 10, 2024Updated 2 years ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 8 years ago
- a simple API for parallel computation on collections☆16Oct 6, 2022Updated 4 years ago
- Lazy, parallelizable and composable group-by operations☆21Dec 24, 2021Updated 4 years ago
- Convert Java bytecode to firm IR☆19Feb 20, 2017Updated 9 years ago
- AMC: Asynchronous Memory Compiler☆56Jun 29, 2020Updated 6 years ago
- Rust port of Go's singleflight package☆18Mar 29, 2024Updated 2 years ago
- awaits the completion of multiple async tasks☆12Nov 29, 2015Updated 10 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.
- ☆15Oct 21, 2020Updated 5 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24May 12, 2018Updated 8 years ago
- Jenkins outbound WebHook plugin☆13Jun 28, 2023Updated 3 years ago
- Layout solver☆12May 31, 2017Updated 9 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆11Jun 29, 2026Updated 3 months ago
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 6 years ago
- A tool for flashing BL602 boards, work in progress☆15Dec 6, 2020Updated 5 years ago
- ☆16Sep 1, 2022Updated 4 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Nov 15, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 13 years ago
- logging library for rayon☆17Sep 14, 2020Updated 6 years ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- Shamir Secret Sharing☆21Nov 27, 2019Updated 6 years ago
- A stream processor language.☆14Apr 27, 2026Updated 5 months ago
- @yield-based syntax for iterating over collections—foldl for humans™☆25Jan 15, 2021Updated 5 years ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 7 years ago