Repository Index

Formally verified implementation of the CoAP protocol in SPARK/Ada

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

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

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

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

A three-dimensional esoteric programming language

Dynamic bindings to the OpenCL library for the D Programming Language.

Dynamic bindings to the Open Dynamics Engine physics library for the D Programming Language.

A Turing-complete programming language with only one symbol: "."

One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.

• advisory-lock
• concurrency
• distributed-lock
• etcd

Ni is a small esoteric programming language turing complete, cell based, like brainfuck.

• esoteric-programming-language
• esoteric-language
• esoteric-interpreter
• esoteric-languages

RASEL (Random Access Stack Esoteric Language) reference implementation

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

Cancellation propagation library for Common Lisp with deadlines and timeouts

Fast and flexible HTTP request parser for Go

• go-library
• golang
• http
• middleware

A V library for processing PCRE regular expressions

• vlang
• vlang-module
• pcre2
• regex

Dynamic bindings to libogg for the D Programming Language.

The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers

• collections
• data-structures
• functional-programming
• generics

A programming language that utilizes long-term storage for space consumption

TEXP is a domain specific language for producing TeX documents with Common Lisp.

• tex
• domain-specific-language

This is an Ada 2012 package that provides an interface to BLAS.

An esoteric programming language with prefix-free brackets

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

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2