Repository Index

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

• datastructures
• generic
• go
• golang

Formally verified implementation of the CoAP protocol in SPARK/Ada

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

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

Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.

• async
• auto-scaling
• backpressure
• concurrency

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

An esolang with brackets, a lot of brackets

• esolang
• esolangs
• interpreter

Generic one-liners to work with variables, slices and maps

• go
• golang

Infix notation to S-expression (Polish notation) translator for Common Lisp

• common-lisp
• infix-notation

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

RASEL (Random Access Stack Esoteric Language) reference implementation

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

JACK interface for Elixir using NIFs.

• elixir
• audio
• jack
• jackaudio

tools for writing lexers / parsers in Ada

• ada
• lexer
• reference-counting

Single-header C++ JIT compiler/evaluator for mathematical expressions

• expression-evaluator
• expression-parser
• formula-engine
• formula-evaluator

Native V-lang implementation of Rosie-RPL. Rosie is a pattern language (RPL for short). A little bit like regex, but aiming to solve several of the regex issues.

• rosie
• vlang
• vlang-module
• rpl

Library to manage application lifetime in a Go microservice architecture

• go
• golang
• library
• microservice

an esolang focused on the numbers 7 and 8

• esolang
• language
• suffering

Fast and flexible HTTP request parser for Go

• go-library
• golang
• http
• middleware

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

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

ES6 arrow functions compiled to ES5 compliant code.

An esoteric programming language with prefix-free brackets

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

Solving the mini Rubik (2x2) in Coq

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

A Latin-themed esoteric programming language where source code reads as prayer

• brainfuck
• c
• esolang
• esoteric-language

CHICKEN Scheme bindings to libsodium crypto library

a V wrapper for the sokol_gp library