Repository Index

LibRHash for Pascal

• librhash
• rhash
• hash
• windows

ScalaNative bindings for Qt5

• scala-native
• qt5

Abstractions and utilities to get rid of boilerplate code in business logic

• datastructures
• generic
• go
• golang

Facility, Prosperity and Maintainability.

Formally verified implementation of the CoAP protocol in SPARK/Ada

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

Tiny simple blocking queue in erlang

Experiment to rewrite Python into PyTeal using RedBaron

Database URL parser for Elixir

• database
• elixir
• hacktoberfest

Delphi header translation for Microsoft XmlLite

JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.

Recursion schemes in ATS

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

Brainfuck interpreter written in Swift using Playground.

Ada finite-state machine generator.

Basic DI for the Crystal programming language

A dynamic binding to libpq for the D Programming Language.

Refinement and functional value types for Java 8+

• functional-programming
• java
• java8
• maven-central

Chameleon template compiler for pyramid

MLIR Toolkit in Elixir and Zig.

• elixir
• gpu
• mlir
• compiler

Crystal C bindings for Augeas

• crystal
• crystal-lang
• bindings
• augeas

A three-dimensional esoteric programming language

This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).

• gobject-introspection
• code-generation

Crystal bindings for Hunspell.

• crystal
• hunspell
• bindings
• wrapper

The cell tail language