Repository Index

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

A lightweight ClojureScript abstraction over ReactJS

webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.

An Optional Type System for Lua

An ERB-style templating language for Go.

• go
• template-language
• erb

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

• algebraic-data-types
• optics
• functional-programming
• algebra

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

• programming-language
• lisp
• malbolge
• esoteric

A parser combinator library for F#

RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

• fsharp
• rfc
• language-design
• programming-language

A thin Java wrapper to access the Steamworks API

• java
• bindings
• steamworks

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

"Lispsy" Lisp(ish) to C Converter (designed for CLISP)

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

Boost.org python module

go-functional is a library of iterators to augment the standard library

• go
• golang
• functional-programming

Compile Java byte-code to native CPU's.

• 6502
• assembly
• atari
• c64

A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.

• functional-programming
• lazy-evaluation
• golang-library
• golang

Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.

• arm64
• c
• compression
• lz4

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

• ocaml
• stdlib
• data-structure
• portable

Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.

• csharp
• pinvoke
• native
• c

Interactive console for Crystal programming language

• crystal
• repl

Ruby library for interfacing with FANN (Fast Artificial Neural Network)

• ai
• ruby-fann
• ruby-gem
• neural-network