Repository Index

Based Python static type checker with baseline, sane default settings and based typing features

• based
• python
• typing
• baseline

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Foundational Cryptography Framework for machine-checked proofs of cryptography.

A Python type checker

Ruby wrapper for the famous spell checker library hunspell.

• ruby
• hunspell
• rubygem
• hunspell-spell-checker

Common Lisp bindings for Enchant spell-checker library

Parse and check doi objects in go.

• doi
• golang
• go
• parser

LibRHash for Pascal

• librhash
• rhash
• hash
• windows