Repository Index

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

My personal website written in rust via yew/wasm

• yew
• rust
• wasm
• wasm-bindgen

ABNF in, parser out

• abnf
• parsing
• parser-generator
• elixir

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

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.

High-speed approximate nearest neighbors for Ruby

A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.

• swift
• mongodb-connector
• server-side-swift
• mongodb

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

• liquid
• ocaml
• parser-combinators
• shopify

comvert bool expression to elasticsearch DSL in rust

• elastic
• elasticsearch
• dsl
• sql

Go 1.18+ polymorphic generic containers and functions.

• go
• golang
• generics

Pure Python parser for classic Windows Event Log files (.evt)

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

• parser-combinators
• common-lisp

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

• pycom
• micropython
• lopy
• wipy

D version of the C headers for openssl

:shrimp: Rust cryptography library

• rust
• cryptography

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Versatile Go code generator.

• golang
• code-generator
• generics
• conditional-compilation

Simple Email Parser

Parallelism for Common Lisp

Hand-written bindings to Raylib for Common Lisp.

• common-lisp
• raylib

A very tiny and fast compose function.

The universal ISSR server compatible with <your-favorite-programming-language>

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action