Repository Index

Go date utilities inspired by date-fns. Timezone-aware, WebAssembly-compatible, with comprehensive test coverage.

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

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

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

GML Interpreter

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

A production-quality expert-system shell, written in thoroughly modern Common Lisp.

• ai
• expert-systems
• lisp
• production-rules

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

• brainfuck
• c
• esolang
• esoteric-language

A dynamic binding to OpenGLES for the D Programming Language.

A dynamic binding to the PhysicsFS library for the D Programming Language.

This is a demo WASM Blazor application. You can test regular C# expressions in your browser.

• netcore
• blazor
• blazor-webassembly

KiWi binding for D programming language

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

Formal proof in Coq of Puiseux's Theorem.

A Parenscript to Javascript command line compiler and interpreter.

A dynamic binding to the ALURE library for the D Programming Language.

Dynamic bindings to libvorbis for the D Programming Language.