Repository Index

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

The GPars concurrency and parallelism framework for the JVM

An experiment in adding functional pattern matching to JavaScript

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

• annotations
• xml
• java
• jmapper

An F# type provider for in-process R interop

• r-language
• r-programming
• type-providers

🛠 A full-featured dependency injection container for go programming language.

• go
• dependency-injection
• di
• ioc

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

C++20 Microservice Bootstrapping Framework

• threads
• event-loops
• boost
• cpp20

Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal

• pascal
• vulkan
• vulkan-api
• vulkan-library

A parser combinator library written in the Swift programming language.

• parser
• parser-combinators
• swift
• functional

The Frenetic Programming Language and Runtime System

A functional JavaScript library that facilitates currying and point-free programming

• ai-friendly
• composition
• curry
• currying

Extended version of Rambda

• ramda
• rambda
• utils
• lodash

Functional programming in R

interactive programming of melodies, producing MIDI

• music
• notes
• music-programming
• golang

A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program

• concurrency
• go
• goroutine
• priority-queue

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

Thread-safe, persistent, immutable collections for the Crystal language

• crystal
• immutable-collections
• vector
• hash

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.

• javascript-framework
• react-components
• web-components
• dataformsjs

Secure firmware framework focusing on developer experience

• embedded
• firmware
• framework
• iot

An esoteric programming language built to break LLMs and coding agents.

• benchmark
• esolang
• interpreter
• language

Railway-oriented programming for .NET

:ram: :mag_right: Lens library built on ramda