Repository Index

A Proof-oriented Programming Language

• programming-language
• verification
• dependent-types
• smt

Agda is a dependently typed programming language / interactive theorem prover.

• dependent-types
• programming-language
• proof-assistant
• agda

bpython - A fancy curses interface to the Python interactive interpreter

The 2.x ReactiveCocoa Objective-C API: Streams of values over time

An extremely intuitive, small, and fast functional reactive stream library for JavaScript

• reactive-programming
• stream
• javascript
• typescript

Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros

• golang
• interpreter
• debugger
• eval

A Graph Traversal Language (no longer active - see Apache TinkerPop)

Asynchronous, Reactive Programming for Scala and Scala.js.

• scala
• monix
• typelevel
• functional-programming

A Reactive Programming library for JavaScript

• frp
• reactive
• stream
• functional-programming

Reactive extensions for PHP

• rxphp
• reactivex
• observables
• asynchronous

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

• actor-model
• cloud-native
• concurrency
• distributed-actors

The minimalistic but powerful, modular, functional reactive programming library in JavaScript.

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

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

[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

🚀 fast JavaScript 4 Eclipse Vert.x

• vertx
• language-support
• javascript
• typescript

Sodium - Functional Reactive Programming (FRP) Library for multiple languages

A polyglot REPL built on .NET Interactive

• dotnet
• dotnet-interactive
• repl

A functional effect and streaming system for Clojure/Script

• clojure
• clojurescript
• reactive-streams

The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.

• qbit
• java
• microservice
• websocket-support

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad

Reactive Extensions for Lua

Interactive console for Crystal programming language

• crystal
• repl

Functional Reactive Programming domain-specific language for efficient hybrid systems

• haskell
• frp
• yampa
• game