Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
97–120 of 256 · Most stars
JSON query and transformation language
- java
- json
- query
- transform
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Platform Abstraction C++ Libraries
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
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
parser for Google ProtocolBuffers definition
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
Corman Lisp
- common-lisp
- ide
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
A modern supercompiler for call-by-value functional languages
The repository host gives no description.
A high-level assembly language for writing homebrew software and games on retro console platforms.
:hocho: Strictly RFC 3986 compliant URI parsing and handling library written in C99; moved from SourceForge to GitHub
- uriparser
- c
- rfc-3986
- rfc-3513
Universal cheminformatics toolkit, utilities and database search tools
- indigo
- bingo
- cheminformatics
- chemistry
High-performance HTML5 parser for Ruby based on Lexbor, with support for both CSS selectors and XPath.
VBA Standard Library - A Collection of libraries to form a common standard layer for modern VBA applications.
- vba
- macros
- microsoft
- microsoft-excel
Cross platform .NET bindings for Vulkan, VMA, SPIRV-Cross and shaderc
- vulkan
- netstandard
- csharp
- dotnet
A fast globbing library for .NET / .NETStandard applications. Outperforms Regex.
- glob
- glob-pattern
- globbing-library
- csharp