Repository Index

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

• sql
• compiler
• typechecker
• sqlite

:spider_web: A Python interface to CGAL's meshing tools

• mesh
• mesh-generation
• mathematics
• engineering

The APL programming language (a subset thereof) compiling to Common Lisp.

Parser / Scanner Generator

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad

The reference P4 software switch

• p4
• bmv2
• p4lang

Utility library for functional programming in Lua

• lua
• underscore
• functional-programming
• table

A Swift wrapper for the FFmpeg API

• swift
• ffmpeg
• video
• audio

PHP library for parsing plain text email content.

• php
• parser
• email

Powerful multi-threaded coroutine dispatcher and parallel execution engine

• coroutines
• parallel
• multi-threading
• cpp

Nemerle language. Main repository.

A pure go General-purpose Task-parallel Programming Framework

R frontend for Spark

Echarts 5 for R

• r
• rstats
• htmlwidgets
• htmlwidget

Platform Abstraction C++ Libraries

• async
• cpp
• linux
• macos

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

• cpp
• cplusplus
• cplusplus-17
• actor-model

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 slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!

parser for Google ProtocolBuffers definition

• protobuf
• parser
• proto3
• formatter

URSA - RSA public/private key OpenSSL bindings for Node.js

WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package

A lightweight ClojureScript abstraction over ReactJS

A lightweight yet powerful IoC dependency injection container for the Go programming language

• ioc
• ioc-container
• container
• dependency-injection