Repository Index

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.

• immutable
• typescript-definitions
• es2015-modules
• data-structures

:trident: CommonCrypto in Swift, and more

• commoncrypto
• swift

Ruby language bindings for LIBSVM

• libsvm
• ruby-bindings
• ruby
• ruby-language-bindings

QUIC protocol for Erlang & Elixir

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

• promise
• fantasy-land
• async
• asynchronous

Common Lisp to JavaScript compiler

The Snazzy D Compiler

A port of LPeg 100% written in Lua.

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.

• netcdf-fortran
• unidata
• netcdf-library
• dataset

An OCaml lexer generator for Unicode

Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.

• matlab
• rust
• jit-compiler
• linear-algebra

FXRuby is an extension module for Ruby that provides an interface to the FOX GUI toolkit.

WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation

• esolang
• esoteric-language
• serialization
• encoding

Floc: Orchestrate goroutines with ease.

• go
• parallel-programming
• goroutines
• goroutine-safe

GTK4/Libadwaita/WebKit2 bindings for Common Lisp.

Connection behaviour for connection processes

A JavaScript library for building React applications in more functional way. Alternative to JSX.

• fp
• react
• no-jsx
• lambda

:alarm_clock: A lightweight implementation of Promises in Swift

• promise
• swift

A simple CSS parser and inliner in Go

• go
• css-parser

Call python from Common Lisp

• common-lisp
• python

Parallelism for Common Lisp

ClojureScript library for Ant Design React UI components

• clojurescript
• reagent
• rum
• reagent-components