Repository Index

A functional programming toolkit for R

• r
• functional-programming

A Coq library for Homotopy Type Theory

• type-theory
• homotopy-type-theory
• univalent-foundations

An esoteric programming language, come se fosse antani.

Fast Compiler for C# Expression Trees and the lightweight LightExpression alternative. Diagnostic and code generation tools for the expressions.

• expression-tree
• dryioc
• delegate
• il-optimizations

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

• typescript
• typescript-library
• typescript-definitions
• functional-programming

CEF4Delphi is an open source project to embed Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows, Linux and MacOS.

• delphi
• cef
• chromium
• browser

An advanced, but easy to use, platform for writing functional applications in Java 8.

• functional-programming
• reactive-streams
• monoid
• streams

Functional programming style pattern-matching library for C++

• pattern-matching
• pattern
• variant
• visitor

Password hashing specification for the Elixir programming language

• argon2
• bcrypt
• pbkdf2
• elixir

Praat in Python, the Pythonic way

Helpfully Functional Go - A useful collection of Go utilities. Designed for programmer happiness.

Derives and generates mundane golang functions that you do not want to maintain yourself

• golang
• generator
• deriving
• functional-programming

Java framework for the vlc media player

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

• java
• jit-compiler
• openjdk
• jvm

A Swift Reactive Programming Kit

Python Type Checker / Language Server

• autocompletion
• language-server-protocol
• mypy
• python

Probably the fastest coroutine lib in the world!

• libos
• iouring
• net-library
• fs-library

Functional, persistent, off-heap, high performance data structure

🎤 a simple audio programming language implemented in JS

• livecoding
• programming-language
• audio
• javascript

A functional programming library for TypeScript/JavaScript

• fp
• typescript
• lazy
• concurrency

Iteration primitives using generators

Rust virtual machine and JIT compiler for eBPF programs

• jit-compiler
• ebpf
• ebpf-programs
• rust

Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.

Emgo: Bare metal Go (language for programming embedded systems)