Repository Index

Elixir wrapper of Basho's Bitcask Key/Value store.

Provides a type for working with optional variables, fields in structures, functions and database models.

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

• coq
• mathcomp
• modal-logics
• ctl

Wrapper of libserialport written in V

Augments Hunchentoot error pages and logs with request and session information.

• web
• hunchentoot
• lisp
• common-lisp

PEG parser for YAML written in Rust 🦀

• parser
• yaml
• peg
• parsing

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

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

• datastructures
• generic
• go
• golang

Facility, Prosperity and Maintainability.

Experiment to rewrite Python into PyTeal using RedBaron

Delphi header translation for Microsoft XmlLite

Brainfuck interpreter written in Swift using Playground.

Ada finite-state machine generator.

MLIR Toolkit in Elixir and Zig.

• elixir
• gpu
• mlir
• compiler

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

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

GiavaScript JavaScript runtime ✨💎🚀✨

• javascript
• runtime
• linux
• windows

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

LuaJIT bindings for Crystal

Ada bindings for the MQTT broker mosquitto.

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