Repository Index

Wait for a specified number of promises to be fulfilled

A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

• algebraic-effects
• side-effect
• side-effects
• typesafe

Clojure library for Blueprints (part of the Tinkerpop graph stack).

An Earley parser written in Ruby

• ruby
• rubynlp
• natural-language-processing
• nlp

Coq library on rewriting theory and termination

A cookiecutter template for Common Lisp videogame projects

• common-lisp
• cookiecutter
• cookiecutter-template
• lisp

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem

annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).

• ruby
• approximate-nearest-neighbor-search
• nearest-neighbor-search
• gem

Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

Use JavaScript to generate JavaScript

• preprocessor
• build-tool
• babel
• webpack

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.

• xor-filter
• bloom-filter
• erlang-nif
• erlang

GCode interpreter and simulator for node.js

IO for Gallina

• coq
• ocaml
• extraction

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

Make functions return a channel for parallel processing via go routines.

The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.

• clr
• vba
• visual-basic
• netframework

Common tools for projects

• cross-platform
• pascal-language
• library
• json

Chuck Norris Programming Language

• esoteric-language
• chuck-norris
• language
• javascript

immutable primitive array/NonEmptyArray wrapper for Scala

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

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi