Repository Index

IO for Gallina

• coq
• ocaml
• extraction

Simple ActionN composition to use with RxJava [STABLE]

immutable primitive array/NonEmptyArray wrapper for Scala

• data-structures
• scala
• primitive-arrays
• scala-js

A compiler for an Ada-like language

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Simple partial application for FuncN and ActionN on RxJava [STABLE]

Parser & Resolver & Abstract Completion library for D

An embeddable implementation of the Ngaro Virtual Machine for Go programs

Implementation of sum/option types using QVariant

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

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

Extremely simple Process pooling and task submission in Elixir

OCaml/MPI interface

A natural language parser for validating complex date ranges

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

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

• pipe
• pipeline
• kleisli
• ramda

Simple Shopify API for the Go Programming Language

Personal import of the selenium-webdriver for ruby

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

OpenFaaS template for the crystal programming language

Simple Groovy options library

cookiestxt implement parser of cookies txt format

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

ffmpeg crystal bindings