Repository Index

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

• gno
• gnoland
• gnolang
• bft

F(unctional) util(ities). Resistance is futile.

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

Userspace eBPF VM

:clapper: Tame async code with battle-tested promises

• promise
• swift
• async
• ios

DFA regular expression library & friends

• fsm
• regex
• lexer-generator
• regexp

R interface for Apache Spark

• r
• rstats
• apache-spark
• machine-learning

A Lisp-to-JavaScript compiler bootstrapped from Common Lisp

• common-lisp
• jscl
• compiler
• javascript

uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.

Partial lenses is a comprehensive, high-performance optics library for JavaScript

• isomorphism
• traversal
• fold
• immutable

Jelly is a recreational programming language inspired by J.

Convert code from C# to VB.NET and vice versa using Roslyn

• online-snippet-converter
• code-converter
• c-sharp
• vb-net

High-performance, minimalist async-io (proactor) networking for Golang.

• asyncio
• proactor
• c10k
• epoll

C# discriminated union source generator

• csharp
• discriminated-unions
• dotnet
• functional-programming

Python interface to Graphviz graph drawing package

• graph-visualization
• complex-networks
• python

DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS

• desktop
• desktop-application-sdk
• ruby
• jruby

A functional effect and streaming system for Clojure/Script

• clojure
• clojurescript
• reactive-streams

Skia4Delphi is a cross-platform 2D graphics API for Delphi platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.

• android
• windows
• macos
• ios

A Persistent Java Collections Library

Google Earth Engine for R

• earth-engine
• googleearthengine
• google-earth-engine
• r

Comically fast Dota 2, CSGO, CS2 and Deadlock replay parser written in Java.

DeviceDetector is a precise and fast user agent parser and device detector written in Ruby

Linq-like extension functions for Arrays, Span<T>, and List<T> that are faster and allocate less.

• simd
• linq
• perfromance
• gamedev-library

A Swift based Future/Promises Library for IOS and OS X.