Repository Index

Go utility library for convenient looping using Go's range-over-func feature

• golang

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android

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

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

Build parsers easily

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

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Little utility D3 functions

utils for Go context

• golang
• go
• context
• async

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

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

Transpiles from everything to everything else

Ant Design bindings for Fable Elmish

• fable
• antd

Java scope functions inspired by Kotlin

• functional-programming
• java
• java-utils
• java-utilities

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

• functor
• monads
• curry
• composition

general purpose utils for interacting with vert.x

Simple Hunspell wrapper for Delphi

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

The fastest HTML builder engine for Crystal

• builder
• crystal
• html
• speed

Read, modify, and write Common Lisp source code while preserving whitespace and comments

A Mustache template compiler.

• mustache
• translator
• compiler

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.

A web framework for writing react components in common lisp using jscl