A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
- rust
- asynchronous
- networking
Repository Index
47,133 repositories indexed
1–24 of 85 · Most stars
An alternative side effect model for Redux apps
- redux
- sagas
- effects
- middleware
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
- roslyn
- visual-basic
- visual-studio
- csharp
Optimizing compiler for React
- hacktoberfest
- million
- millionjs
- virtual-dom
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
- python
- webassembly
- wasm
- emscripten
A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
Provides an efficient allocation free async/await integration for Unity.
- csharp
- unity
- coroutine
- task
The most widely used Python to C compiler
- python
- cython
- cpython
- cpython-extensions
A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
High performance server-side application framework
- c-plus-plus
- seastar
- dpdk
- async
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
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
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.
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
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
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.
- data-science
- jupyter
- ipython
- repl
A lightweight library that provides tools for organizing asynchronous code
A standard library for the client-side Web
- rust
- javascript
- web
- gui
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
Go bindings for raylib, a simple and easy-to-use library to enjoy videogames programming.
- game-engine
- raylib
- android
- rpi
Golang bindings for FFmpeg (This repository is no longer maintained)
- ffmpeg-libraries
- golang-bindings
- video
A Ruby language server.
- ruby
- language-server
- intellisense