Repository Index

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

• common-lisp
• concurrency
• genserver
• actor

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

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

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.

Strip console, alert, and debugger statements from JavaScript code

• gulp-plugin
• nodejs
• javascript
• strip

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

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

High performance System.Threading.(Value)Task computation expressions for F#

A simple, easy to use library for React development in ClojureScript.

• react-components
• hiccup
• clj
• clojurescript

A Parser Combinators Library for Clojure

Parser combinators for Idris

Debounce promise-returning & async functions

(c-include "file.h") => complete FFI wrapper

A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.

• blazor
• blazor-webassembly
• blazor-client
• blazor-application

A concise and readable language for Firestore security rules, similar to Firebase Bolt.

• firebase-firestore
• haskell
• typescript
• parser-combinators

F# computation expression builder for System.Threading.Tasks

• fsharp
• task
• computation-expressions
• async

Complete ECMAScript Fifth Edition Implemention in Object Pascal

A durable atom type for Clojure

Lisp to GLSL Language Translator

• lisp
• common-lisp
• compiler
• glsl

A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.

A parser combinator library written in the Swift programming language.

• parser
• parser-combinators
• swift
• functional