Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–48 of 50 · Most stars

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

  • python
  • typechecking
  • override
  • pep484

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

  • based
  • python
  • typing
  • baseline

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

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

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

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

  • combinatorial-optimization
  • community-detection
  • dynamic-graphs
  • edge-orientation

Go utility library for convenient looping using Go's range-over-func feature

  • golang