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 113 · Most stars
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Adds static typing to JavaScript to improve developer productivity and code quality.
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
- roslyn
- visual-basic
- visual-studio
- csharp
Provides an efficient allocation free async/await integration for Unity.
- csharp
- unity
- coroutine
- task
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.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
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, ...)
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
A lightweight library that provides tools for organizing asynchronous code
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
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
Improved USB library for Node.js
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
- java
- jit-compiler
- openjdk
- jvm
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
Improve the readability of R code with the pipe
- r
- pipe
uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Skia4Delphi is a cross-platform 2D graphics API for Delphi 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.
Bindings and ADO.NET Provider for DuckDB
- duckdb
- ado-net
- data-science
- duckdb-database
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization