A library of Truebit tasks, utilities, and ongoing projects
☆22Jun 29, 2021Updated 4 years ago
Alternatives and similar repositories for awesome-truebit
Users that are interested in awesome-truebit are comparing it to the libraries listed below
Sorting:
- ☆23Feb 13, 2026Updated 3 weeks ago
- ☆38Sep 29, 2021Updated 4 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- A StatsD (plus Datadog tag additions) client for Erlang☆12Mar 26, 2024Updated last year
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Started as a Team Project for CS690D at UMass Amherst, now turning into pytorch implementation of hyperbolic neural networks using Poinca…☆12Dec 8, 2022Updated 3 years ago
- A tiny toolkit for interactive Rust applications.☆11Feb 10, 2019Updated 7 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- Erlang Network Monitor☆11Apr 22, 2016Updated 9 years ago
- I like to learn new things☆10Updated this week
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Apr 23, 2010Updated 15 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 16 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- simple starter for project that uses materialize.css and has a gulp as a task builder☆11Nov 21, 2016Updated 9 years ago
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 2 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- A library for convenient and composable translation between JSON and Elm types☆16Feb 18, 2015Updated 11 years ago
- Experimental Substrate chain☆10Feb 19, 2020Updated 6 years ago
- ☆10May 2, 2022Updated 3 years ago
- An AI for Tetris on Jstris☆11Dec 25, 2019Updated 6 years ago
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆12Aug 1, 2016Updated 9 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Verifiable Credentials Specification Relationship Map☆10May 27, 2021Updated 4 years ago
- A reference implementation of a web5 wallet in react native☆15Dec 14, 2024Updated last year
- Email configuration repository for ghar☆12Mar 3, 2018Updated 8 years ago
- SDK for Passkey-Derived Nostr Identity a.k.a. Nosskey☆14Feb 20, 2026Updated 2 weeks ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- The million digit Fibonacci number challenge. Calculate fibo(4784969) in various languages.☆12Oct 5, 2025Updated 5 months ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Feb 13, 2023Updated 3 years ago