Repository Index

JavaScript Engine for .NET

• netcore
• standard
• csharp
• csharp-library

A Library for Representing Recursive and Impure Programs in Coq

An extremely small, intuitive and fast functional utility library for JavaScript

• javascript
• functional
• lightweight
• fast

Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.

• common-lisp
• concurrency
• genserver
• actor

Elm style FRP library for PureScript

High performance Transactional Memory for Common Lisp

A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.

Clojure wrapper around JGit

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

Mypy static type checker plugin for Pytest

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

Ruby speech recognition with Pocketsphinx

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

Railo is an Open Source CFML Server

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

Pattern matchings for Go.

• golang
• go
• pattern-matching
• golang-library

This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.

The GPars concurrency and parallelism framework for the JVM

An experiment in adding functional pattern matching to JavaScript

Strip console, alert, and debugger statements from JavaScript code

• gulp-plugin
• nodejs
• javascript
• strip

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

Elegance, high performance and robustness all in one java bean mapper

• annotations
• xml
• java
• jmapper

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)