Repository Index

A couple of lambda shorthand macros

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

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

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

Common Lisp feed parser

Anonymous lambda literal in Common Lisp, respecting Scala

Experiments on workflow with common lisp

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

Transpiles from everything to everything else

Decimal number parser and formatter package for the Common Lisp language

• decimal-numbers
• common-lisp
• library
• parser

Common Lisp JSON handling library (not a parser!), with the aim for convenience and brevity.

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

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

• functor
• monads
• curry
• composition

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

Styled Component for yew

• css
• wasm
• web
• yew

Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown

• crystal
• commonmark
• gfm
• markdown

Javascript recursion schemes compatible with flow-static-land

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

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

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

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

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

A Mustache template compiler.

• mustache
• translator
• compiler