Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
145–168 of 209 · Most stars
Simple JMeter performance tests API for python
- automation
- java
- jmeter
- load-testing
Python promises
- python
- promises
- promise
- promise-library
A Libemu Cython wrapper
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A bridge between Python and Lisp (FFI bindings, etc.)
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Common Lisp for Python
- common-lisp
- python
Rust like Option and Result types in Python
- option-type
- optional
- result-type
- result
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Regex based Python script that converts arbitrary gdscript code to C#
The repository host gives no description.
- algokit
- lib
The repository host gives no description.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Resurrected copy of onroundit's raylib-d
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
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
Builds of the GNAT Ada compiler from FSF GCC releases
Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding
- keras
- keras-neural-networks
- pascal
- delphi
CFFI based alternative to py4cl2