A bibliography for protocol design
☆48Apr 17, 2025Updated 10 months ago
Alternatives and similar repositories for awesome-consensus
Users that are interested in awesome-consensus are comparing it to the libraries listed below
Sorting:
- ☆15Sep 24, 2025Updated 5 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- ☆18Jul 23, 2019Updated 6 years ago
- A series of 3 tutorials that walks one through the world of Actors in #rustlang as implemented by 'ractor' framework☆19Feb 27, 2025Updated last year
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- A simple dashboard for the dhcpd.leases file of the OpenBSD dhcpd server.☆29Sep 24, 2025Updated 5 months ago
- SAT solver for education☆26Nov 1, 2022Updated 3 years ago
- ☆16Sep 9, 2025Updated 5 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- My personal site.☆10Feb 23, 2026Updated last week
- bayesPop R package☆11Feb 23, 2026Updated last week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- kun-chat is a lightweight AI conversation app based on Ollama/kun-chat 是一款基于 Ollama 的轻量级 AI 对话应用☆10Jul 16, 2025Updated 7 months ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Jan 27, 2026Updated last month
- Sources of the EuroProofNet web site.☆13Updated this week
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- An utility to convert between Factorio settings file format and JSON☆12Dec 16, 2024Updated last year
- eMMC / SD Card testing library☆10Jul 2, 2025Updated 8 months ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Hack for hiding pointer in Wayland for when your using it as a kiosk☆10Aug 12, 2019Updated 6 years ago
- Stock Price Predictor with Deep Learning☆11Aug 5, 2017Updated 8 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Writing SQL can be easier - pine makes it happen!☆12Updated this week
- Programming exercises to inspire kids to learn to program in a Minecraft type environment☆14Mar 24, 2019Updated 6 years ago
- perl web interface to OpenBSD's sqlports☆10Jun 28, 2023Updated 2 years ago
- A-Frame UX Library : A Web XR System, Support Components, World Maps, Object Generators, Universal Controller & Interactive Powers.☆13Mar 20, 2024Updated last year
- A demo showing WASM component model resources in various environments☆12Feb 5, 2025Updated last year
- 🪵 Structured logging for Clojure. Thin layer on top of clojure.tools.logging with MDC support☆12Jan 8, 2026Updated last month
- DependoBuf - a data serialization format with dependent types☆16Nov 9, 2024Updated last year
- Ejemplos y ejercicios resueltos en Java del módulo Programación del CFGS Despliegue de Aplicaciones Web☆14Oct 29, 2025Updated 4 months ago
- Hydrogen duct template☆17Dec 19, 2022Updated 3 years ago
- Recopilación de pensamientos.☆11Updated this week
- ☆12Oct 23, 2023Updated 2 years ago
- Official GitHub repository of the lecture "Multimodal Deep Learning for Recommendation", at the 2024 ACM RecSys Summer School☆12Oct 12, 2024Updated last year
- This is an augmented copy of avelino/awesome-go☆14Jul 9, 2018Updated 7 years ago
- A fork of Bevy Hanabi, the GPU-driven VFX system for Bevy, with improved performance and functionality☆16Feb 4, 2026Updated last month
- A few addons for log4cl Common Lisp logging library.☆14Jan 9, 2026Updated last month
- Video about NP-completeness, circuit SAT and "reversing time"☆15Aug 18, 2024Updated last year
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 5 months ago