Repository Index

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.

Elixir library to do pipeable transformations on html strings (with CSS selectors)

• elixir
• html-parser
• html-renderer
• css-selector

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

An Elixir macro for easily piping arguments at any position.

• elixir
• macros
• pipe

Basic Configuration Language

• configuration
• parsing
• virtual-machine
• ci-cd

Simple ActionN composition to use with RxJava [STABLE]

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

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

Software Transactional Locks

coinduction library for Coq

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

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

Extremely simple Process pooling and task submission in Elixir

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

Erlang PortAudio bindings

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort