Repository Index

OCaml/MPI interface

Build parsers easily

• parser
• parser-library
• parsing
• pratt-parser

A natural language parser for validating complex date ranges

A library that brings all the CSP joy to the Elixir land.

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

utils for Go context

• golang
• go
• context
• async

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

Parser for todo.txt files in Go ✅

• go
• golang
• todo
• todoapp

Experiments on workflow with common lisp

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

Elixir binding for libgraphqlparser

An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

• elixir-lang
• elixir
• hex
• package

cookiestxt implement parser of cookies txt format

general purpose utils for interacting with vert.x

The GMap iteration macro, plus a few other useful macros.

MXNet (AI/ML) bindings for the Crystal language.

• crystal
• mxnet
• deep-learning
• machine-learning

Dynamic and static D bindings for bgfx

Immutable Ropes for Common Lisp

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Ruby binding for XGBoost

Backport for type hinting generics in standard collections and union types as X | Y

Rate limiter and overload protection for erlang application

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

• coq
• sudoku
• nix-action

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)