Repository Index

OCaml/MPI interface

Ant Design bindings for Fable Elmish

• fable
• antd

OCaml bindings for OpenGL

• opengl
• ocaml

Go option and result types that optionally contain a value

• golang
• option
• result
• error

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

Experiment to compile something Elm-ish to Wasm

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Python libusdt bindings

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

(almost) Fully functional GraphQL request parser written completely using TypeScript's typing system

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

LMDB bindings for Common Lisp

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

• functional-programming
• java
• json-values
• persistent-data-structure

Ada bindings for wiringPi

• raspberry-pi
• raspberrypi
• wiringpi
• wiringpi-library