Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Repository Index
47,133 repositories indexed
625–648 of 885 · Most stars
This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
יון no BS JS
Experimental Malfunction backend for Idris
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
A setf like macro for functional programming
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
pico sized functional library
- javascript-array
- functional-programming
- javascript
- es6
Functional programming in Groovy
Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.
A total recursion scheme library for Dhall
- dhall
- recursion-schemes
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.