Repository Index

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

Call python from Common Lisp

• common-lisp
• python
• library

A powerful C# coroutine library for Godot.

• coroutines
• csharp
• godot
• hierarchical

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

• f-sharp
• parser
• combinator
• library

Creates a system where users are forced to login in dedicated independent docker containers.

• docker
• docker-image
• virtual-machine
• multiuser

Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

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

TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)

• delphi
• easy-to-use
• freepascal
• game

OOP Pascal Wrapper and bindings for Tilengine 2D retro graphics engine

CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

Advanced Developer Async Programming Toolkit

• game-engine
• event
• framework
• async

A simple embeddable scripting language which supports concurrent event processing.

• interpreter
• language
• embeddable-scripting-language
• object-oriented-programming

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

OpenGL and SDL2 bindings for Scala Native

• scala-native
• scala
• scala-library
• opengl

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Library for selective receive OTP processes

A practical functional programming library for promises

• promise
• async-programming
• functional-programming
• javascript-callback-hell-solution