47,133 repositories indexed
25–48 of 256 · 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.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
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.
Native Mac APIs for Go. Previously known as MacDriver
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, ...)
Safe Rust bridge for creating Erlang NIF functions
The missing bridge between Java and native C++
Android virtual machine and deobfuscator
A lightweight C++ base library with Go-style coroutines.
:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.
A fast, powerful, safe and lightweight scripting language and engine for .NET
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.
A lightweight library that provides tools for organizing asynchronous code
A standard library for the client-side Web
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
A solid, fast Promises/A+ and when() implementation, plus other async goodies.
Tools and libraries to glue C/C++ APIs to high-level languages
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
Compile shell scripts to static binaries.