Repository Index

A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module

• wasm
• deno
• maxmind
• geoip

Lua wrapper arount the Tweet NaCl cryptographic library

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm

The repository host gives no description.

• algokit
• lib

Implementation of a brainfuck interpreter written for the Game Boy.

Common Lisp bindings to the C++ NDB API of RonDB

Primitive Threads and Concurrency Operations for Coalton

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

Crystal binding generator for raw SDL 3 methods

• binding-generator
• bindings
• sdl
• sdl3

A dynamic and static D binding to the raylib library

• raylib
• d
• binding
• dlang

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

Parse, manipulate and render CommonMark in Scala Native

• commonmark
• scala
• scala-native

GNAT Components Collection – Bindings to C libraries

Apache Kafka Ada client library, based off of librdkafka

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

• algokit
• lib
• experimetal

Integration of R, Java, and Scala

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

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

suricata eve.json parser in Go

The repository host gives no description.

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• esoteric-programming-language

Elixir RSS/Atom parser