47,133 repositories indexed
121–144 of 1,090 · Most stars
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.
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.
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
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.
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.
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.
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
The semver parser for node (the one npm uses)
A utility library for JavaScript and TypeScript.
The ESTree Spec
Run .NET and Node.js code in-process on Windows, MacOS, and Linux
The Elegant Parser
Brings SQL and AI together.
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
Esoteric Programming Language
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
A minimalistic ClojureScript interface to React.js
👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
C++ Insights - See your source code with the eyes of a compiler
Android virtual machine and deobfuscator