Proposals and specs
☆16Jan 15, 2023Updated 3 years ago
Alternatives and similar repositories for rfcs
Users that are interested in rfcs are comparing it to the libraries listed below
Sorting:
- ☆17Jul 6, 2025Updated 8 months ago
- Pure bijection-like codecs library☆11Aug 14, 2019Updated 6 years ago
- Register and discover services via Aqua☆18Jul 8, 2025Updated 8 months ago
- Quickstart with Fluence, Aqua, and Marine☆85Jul 2, 2025Updated 8 months ago
- Cryptography for Scala and Scala.js☆22Sep 13, 2019Updated 6 years ago
- Fluence's fRPC Substrate is a starter kit that includes all the components you need to quickly enable your dAPP with decentralized RPC us…☆20Jun 13, 2025Updated 9 months ago
- ☆11Nov 11, 2019Updated 6 years ago
- Polynomial arithmetic over GF2☆12Oct 30, 2018Updated 7 years ago
- Marine runs multi-module WebAssembly applications with interface-types and shared-nothing linking scheme☆200Sep 4, 2024Updated last year
- Minimalist auth service using Ethereum / ENS identities (JWT)☆11Oct 25, 2021Updated 4 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- Go (golang) simple logger package.☆13Sep 21, 2017Updated 8 years ago
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- The community repo for the Ambients protocol☆22May 7, 2021Updated 4 years ago
- A revenue distribution tool for Waves nodes☆12Jun 26, 2022Updated 3 years ago
- A temporary branch of Solo5 (http://github.com/Solo5/solo5) that contains "nabla-run", a seccomp-based tender for Solo5. We are working o…☆14Nov 30, 2018Updated 7 years ago
- Node FHIR facade server built on Asymmetrik node-fhir-server-core.☆12Dec 22, 2022Updated 3 years ago
- Arduino library to support the Bluetooth (V4.1 compliant) SPBTLE-RF module☆11Oct 5, 2021Updated 4 years ago
- The Elm Architecture in Go☆13Oct 17, 2016Updated 9 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 7 years ago
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆32Apr 20, 2022Updated 3 years ago
- Light, modular, functional http-client for the Arweave blockchain☆13Nov 12, 2019Updated 6 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆11Jan 29, 2024Updated 2 years ago
- Reference sheet for the Coq language.☆16Sep 16, 2020Updated 5 years ago
- A tool for flashing BL602 boards, work in progress☆14Dec 6, 2020Updated 5 years ago
- A forward-secure append-only persistent authenticated data structure☆16Jul 5, 2016Updated 9 years ago
- A small Android Studio project containing all ROS dependencies, an example node and a ProGuard configuration.☆23Dec 28, 2017Updated 8 years ago
- Docker Image for AWS IOT connected Mosquitto broker iot☆13Oct 1, 2017Updated 8 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- OCaml client for the Redis advanced key-value store☆24May 5, 2011Updated 14 years ago
- Shamir Secret Sharing☆21Nov 27, 2019Updated 6 years ago
- Guild AI project examples☆12Jun 8, 2020Updated 5 years ago
- This is the code for "Ripple Explained" by Siraj Raval on Youtube☆25Feb 14, 2018Updated 8 years ago
- DEPRECATED in favour of https://github.com/BabbleSim/ext_NRF_hw_models☆10Oct 21, 2024Updated last year
- Proxy over your Docker socket to restrict which requests it accepts☆31Jun 12, 2021Updated 4 years ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆22Nov 21, 2020Updated 5 years ago
- Build web applications with Go. #golang #go☆20Sep 27, 2021Updated 4 years ago