Repository Index

:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications

• topic
• pubsub
• go
• golang

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.

• blazor-interop
• typescript-parser
• blazor-wasm
• babylonjs

Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.

A Neovim plugin for readable concurrency with coroutines.

• coroutines
• neovim-plugin

A library of mechanised undecidability proofs in the Coq proof assistant.

• coq

Elixir implementation of an interpreter for the Monkey programming language

• elixir
• monkey
• interpreter

A library that simplifies error handling for Functional Programming in Java

• java
• functional-programming
• exception-handling
• error-handling

Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable

• reactive
• elmish
• fable
• fsharp

Portable C Compiler sources

A mysqldump anonymizer

• mysqldump
• anonymizer
• database-anonymizer
• rgpd

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

Ada 2022 bindings to SDL 2

• sdl
• sdl-ttf
• ada
• ada2012

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees

• common-lisp
• reader
• extensible
• error-recovery

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

Compose promise-returning & async functions into a reusable pipeline

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

pure functional and generic programming for Erlang

• foldable
• traversable
• erlang
• lenses

Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars

Simple tuples to use with RxJava [STABLE]

• android
• functional-programming
• java

Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data

• clojure
• clojurescript
• debugging
• repl

A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.

• go
• golang
• data-structures
• functional

😴 Functional programming with lazy immutable iterables

• iterables
• functional-programming
• iterator
• haskell