Repository Index

JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern

• sql
• java
• parser
• ast

Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.

• concurrency
• ruby

Native Node bindings to Git.

• libgit2
• javascript
• nodegit
• git

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

SkiaSharp is a cross-platform 2D graphics API for .NET 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.

• xamarin
• graphics
• dot-net
• ios

Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.

• lebab
• javascript
• compiler
• es2015

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• php
• static-analysis
• phan
• analysis

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

• anglesharp
• dom
• c-sharp
• html

Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.

• python
• dotnet
• mono
• clr

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

• grpc
• actor-model
• actors
• cross-platform

LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.

• lwjgl
• kotlin
• opengl
• opencl

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

• groovy
• jvm-languages
• programming-language
• metaprogramming

Lightweight, modular, and extensible library for functional programming.

Native Mac APIs for Go. Previously known as MacDriver

• golang
• apple
• macos
• objective-c

The ESTree Spec

• estree
• javascript
• ast
• parsing

The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.

• opengl
• csharp
• vulkan
• openal

Brings SQL and AI together.

• sqlflow
• sql-syntax
• ai
• transpiler

Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:

• sol
• lua
• lua-bindings
• lua-binding

A compiler for the Mustache templating language

Canonical actor model implementation for .NET with local + distributed actors in C# and F#.

• akka
• actor-model
• dotnet
• concurrency

inkle's open source scripting language for writing interactive narrative.

PEG.js: Parser generator for JavaScript

• pegjs
• peg
• javascript
• parser-generator

Safe Rust bridge for creating Erlang NIF functions

• erlang
• nif
• elixir
• ffi

👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect

• user-agent
• mobile-detect
• robot
• browser