Mypy static type checker plugin for Pytest
Repository Index
58,632 visible repositories in the index
649–672 of 1,249 · Most stars
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Ruby speech recognition with Pocketsphinx
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
The GPars concurrency and parallelism framework for the JVM
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang
High performance System.Threading.(Value)Task computation expressions for F#
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
A Parser Combinators Library for Clojure
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
Coroutine support for clojure
- clojure
- clojurescript
Debounce promise-returning & async functions
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
A collection of sweet.js macros that implement ES6 features for ES5
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application