Repository Index

Simple ActionN composition to use with RxJava [STABLE]

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

Free Monads and useful constructions to work with them

Experiments on workflow with common lisp

• emacs
• common-lisp
• slime
• test-automation

Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown

• crystal
• commonmark
• gfm
• markdown

general purpose utils for interacting with vert.x

Javascript recursion schemes compatible with flow-static-land

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

• coq
• vst
• compcert
• graph-algorithms

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

• bindbc
• dlang
• freetype
• freetype-bindings

Variadic aritity tree with a zipper for Elixir!

Crystal shard aiming to assist with parsing backtraces into a structured form.

• crystal
• stacktrace
• parser

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

• bindbc
• lua
• lua-bindings
• dlang

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

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

Minimalistic, pluggable Golang evloop/timer handler with dependency-injection

Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.

Bindings for iOS and Android on Xamarin projects with sample code.

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

• bindbc
• csfml
• dlang
• sfml

Provides a type for working with optional variables, fields in structures, functions and database models.

Augments Hunchentoot error pages and logs with request and session information.

• web
• hunchentoot
• lisp
• common-lisp