Repository Index

Connection behaviour for connection processes

A JavaScript library for building React applications in more functional way. Alternative to JSX.

• fp
• react
• no-jsx
• lambda

:alarm_clock: A lightweight implementation of Promises in Swift

• promise
• swift

A simple CSS parser and inliner in Go

• go
• css-parser

Call python from Common Lisp

• common-lisp
• python

Parallelism for Common Lisp

ClojureScript library for Ant Design React UI components

• clojurescript
• reagent
• rum
• reagent-components

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

TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.

• agentic-ai
• ai-agents
• cli
• developer-tools

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