High performance server-side application framework
- c-plus-plus
- seastar
- dpdk
- async
Repository Index
47,133 repositories indexed
49–72 of 888 · Most stars
Facilitating high-level interactions between Wasm modules and JavaScript
- wasm
- javascript
- rust
- binding-generator
🧱 easy, fast, programmable and local-first microVM runtime and library
A simple C++11 Thread Pool implementation
Java interface to OpenCV, FFmpeg, and more
Expression language and expression evaluation for Go
- configuration-language
- expression
- evaluator
- go
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
Type-Safe Errors for JS & TypeScript
- functional-programming
- typescript
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
A fast type checker and language server for Python
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Annotations Docblock Parser
- hacktoberfest
Functional reactive programming library for TypeScript and JavaScript
A fast, friendly, functional language.
- functional-language
- functional-programming
- language
- roc-lang
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
A Java to iOS Objective-C translation tool and runtime.
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
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
Python for Windows (pywin32) Extensions
- python
- windows
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.
- python
- dotnet
- mono
- clr