Repository Index

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

state machine which runs code

• golang
• workflows
• state-machine
• actor-model

A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.

• header-translation
• pascal-binding
• raylib
• lazarus

Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python".

• regex
• regular-expression
• ruby

Fast, safe, complete libvips bindings for image processing in Java / JVM projects

• ffm
• image-processing
• java
• libvips

Portable C Compiler sources

Complete SQLite API translation and simple wrapper for Delphi and FreePascal

Quickjs FreePascal / Delphi Bindings

• quickjs
• fpc
• freepascal
• javascript

CMake precompiled header support via custom PCH compiler extension

• cmake
• cmake-precompiled-headers
• clang
• gcc

A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure

Pascal binding for SFML

• object-pascal
• wrapper
• library
• game-engine

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.

• parser-combinators
• common-lisp

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Common tools for projects

• cross-platform
• pascal-language
• library
• json

A compiler for an Ada-like language

Fast HTML Parser for FPC and Delphi

Crystal bindings for libpcap

• packets
• pcap
• crystal

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

An Object Pascal Client for NATS

• delphi
• lazarus
• pascal
• linux