Repository Index

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

A Java to iOS Objective-C translation tool and runtime.

The repository host gives no description.

• openapi3
• json-schema
• protobuf
• typespec

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

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

Bolts is a collection of low-level libraries designed to make developing mobile apps easier.

: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

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

Esoteric Programming Language

• livecoding
• osc
• udp
• midi

A minimalistic ClojureScript interface to React.js

• reagent
• clojurescript
• react
• frontend

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

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

Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust

• reverse-engineering
• protocol-analyser
• file-format
• declarative-language

The missing bridge between Java and native C++

• javacpp
• java
• c
• cpp

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

• erlang
• golang
• elixir
• supervisor

Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.

• vulkan
• opengl
• gl
• gles

Alibaba Dragonwell8 JDK

• dragonwell8
• java
• openjdk
• jdk

Distributed lock for your scheduled tasks

:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

• data-science
• jupyter
• ipython
• repl

The .NET library for ImageMagick

• image
• imagemagick
• convert
• resize

A fast, powerful type checker designed for Ruby

• ruby
• types
• sorbet

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven