Repository Index

Implementation of a brainfuck interpreter written for the Game Boy.

Less compiler for golang

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

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

GNAT Components Collection – Bindings to C libraries

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

• algokit
• lib
• experimetal

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

Fast LZMA2 Wrapper for .NET

• compression
• dotnet
• lzma2
• nuget

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

Bindings for iOS and Android on Xamarin projects with sample code.

Racket to JavaScript Compiler

Migrate your active record migrations to ecto compatible migrations

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

Import and export CommonJS modules in js_of_ocaml

Static & dynamic D bindings to the CSFML library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• csfml
• dlang
• sfml

A library that wraps OpenSSL, but also has pure Julia implementations for reference.

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

Ada bindings for the Microsft WinRT Api

• winrt
• ada-winrt
• gnat
• ada

The repository host gives no description.

Scan and parse LL(1) grammars simply and efficiently.

• go
• golang
• pratt-parser
• lexer-parser

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

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

Static & dynamic D bindings to OpenAL, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• openal
• openal-soft

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

Formally verified implementation of the CoAP protocol in SPARK/Ada

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