Repository Index

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

• common-lisp
• infix-notation

Minimalistic monad syntax for OCaml.

Ada EL - Expression Language Library (JSR245)

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

Ada bindings to the Microsoft NetFramework Api

• netframework
• ada-netframework
• gnat
• ada

JACK interface for Elixir using NIFs.

• elixir
• audio
• jack
• jackaudio

tools for writing lexers / parsers in Ada

• ada
• lexer
• reference-counting

a Vlang library for building PHP extensions natively in Vlang, with bindings and abstractions over the PHP/Zend extension API

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

A fast, JSoup-inspired HTML5 parser and DOM manipulation library for [V](https://vlang.io), powered by [Lexbor](https://lexbor.com)

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

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

• tex
• domain-specific-language

The Java API for Onyx

Grammar handling and parser generation Ada library

• ada
• grammars
• parsing
• syntax-analysis

crystal lang video for linux device helpers / bindings

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

Ada Windows POSIX binding

Simple .lng File Parser from HandyGames games

• deepl
• javagame
• lng
• parser

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

• netcore
• blazor
• blazor-webassembly