Repository Index

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

Common Lisp system for decoding public JSON Web Keys (JWK)

• common-lisp
• jwk
• jwkset
• lisp

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

Async is an asynchronous task package for Go

• async
• async-await
• golang
• await

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

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

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

hnswlib.rb provides Ruby bindings for Hnswlib

• ruby
• gem
• nearest-neighbor-search
• approximate-nearest-neighbor-search

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

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

LALR(1) Parser Generator for the D Programming Language

Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.

• actor-model
• apache-flink
• distributed-systems
• event-driven

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.

• csv
• dll
• duckdb
• duckdb-database

This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.

• shadertoy
• gamemaker
• text-processing

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

Elixir coordinate conversion library using OSGeo's PROJ.4

• geospatial
• distance-calculation
• coordinate-systems
• osgeo-proj

Like `Promise.all` but for object properties.

• deno
• promise

Hands is a process controller used to control the execution and return strategies of multiple goroutines.

📅 An esoteric programming language for no reason whatsoever.

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

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

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

A dynamic binding to ENet for the D Programming Language.

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

Facility, Prosperity and Maintainability.