Repository Index

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

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

JavaScript Engine for .NET

• netcore
• standard
• csharp
• csharp-library

Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.

• common-lisp
• concurrency
• genserver
• actor

A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

Mypy static type checker plugin for Pytest

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

Ruby speech recognition with Pocketsphinx

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

• micropython-stubs
• micropython-stubber
• firmware-stubs
• python

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

Pattern matchings for Go.

• golang
• go
• pattern-matching
• golang-library

This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.

An experiment in adding functional pattern matching to JavaScript

Strip console, alert, and debugger statements from JavaScript code

• gulp-plugin
• nodejs
• javascript
• strip

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

Elegance, high performance and robustness all in one java bean mapper

• annotations
• xml
• java
• jmapper