Repository Index

Some Clojure-ish thingies for Common Lisp

• clojure
• common-lisp
• lisp

Immutable Ropes for Common Lisp

ImageMagick bindings (fork)

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

A web framework for writing react components in common lisp using jscl

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

• coq
• sudoku
• nix-action

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freetype
• freetype-bindings

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

kafka pascal, freepascal bindings using librdkafka and zeromq

Micropython wrapper for FastLZ, a lightning-fast lossless compression library

Clojure-compatible threading/transformation/arrow macros for Common Lisp

Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)

The repository host gives no description.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

TML Object Pascal Components

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

• bindbc
• lua
• lua-bindings
• dlang

Experiment to compile something Elm-ish to Wasm

a NIF for libntru. NTRU is a post quantum cryptography algorithm.

• ntru
• cryptography
• encryption
• lattice-based-crypto

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.

Common Lisp bindings to the C++ NDB API of RonDB

Common Lisp system for decoding public JSON Web Keys (JWK)

• common-lisp
• jwk
• jwkset
• lisp

Primitive Threads and Concurrency Operations for Coalton