Repository Index

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.

D Programming Language implementation of the google flatbuffers library

LTSV parser implementation in Elixir

Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language

• elixir
• elixir-lang
• distributed-systems
• hashing-algorithm

Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.

• cli
• getopt
• gnu
• go

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

Reimplementation of Natural Number Game in Coq

• coq
• lean
• logic
• game

RASEL (Random Access Stack Esoteric Language) reference implementation

• programming-language
• esoteric-language
• esolang
• stack-based-language

A Apache V2 gossip protocol implementation for D programming language.

• gossip
• gossip-protocol
• dlang