Repository Index

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

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

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

Advanced UNIX Terminal UI Ada Binding Package

• curses
• curses-library
• tui

Implementation of a brainfuck interpreter written for the Game Boy.

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

Common Lisp system for decoding public JSON Web Keys (JWK)

• common-lisp
• jwk
• jwkset
• lisp

Primitive Threads and Concurrency Operations for Coalton

Elixir library for waiting for things to happen

Less compiler for golang

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

Common Lisp bindings for Enchant spell-checker library

Async is an asynchronous task package for Go

• async
• async-await
• golang
• await

a functional library for coffeescript (and javascript)

Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection

• esp32
• face-detection
• imagenet-classifier
• micropython

Gulp plugin to transform ES6 to ES5.

• jstransform
• javascript
• gulp
• es6

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