Repository Index

Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library

• chakracore
• microsoft
• javascript-engine
• delphi

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

• formal-verification
• lean4
• proof-carrying-code
• type-safety

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

0MQ Delphi binding

VerySimple.Lua - Lua 5.3 for Delphi

A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.

• go
• async
• hacktoberfest

XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests

• xpath
• xquery
• pascal
• html

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler

A mysqldump anonymizer

• mysqldump
• anonymizer
• database-anonymizer
• rgpd

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

A Ruby wrapper for Latent Dirichlet Allocation (LDA).

A fast, purely functional data structure library in Common Lisp.

Complete SQLite API translation and simple wrapper for Delphi and FreePascal

Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

• common-lisp
• reader
• extensible
• error-recovery

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

Async node.js interface to Blackmagic Design capture and playback devices.

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

PasMP - a parallel-processing/multi-processing library for Object Pascal

Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.

• ast
• cli
• go
• golang

Vert.x for Scala

AsyncCalls – Asynchronous function call framework