92 skills found · Page 1 of 4
google / Closure CompilerA JavaScript checker and optimizer.
swc-project / Swc NodeFaster ts-node without typecheck
rustedpy / ResultNOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
fsprojects / Rezoom.SQLStatically typechecks a common SQL dialect and translates it to various RDBMS backends
dhall-lang / Dhall KubernetesTypecheck, template and modularize your Kubernetes definitions with Dhall
msz / Hammox🏝 automated contract testing via type checking for Elixir functions and mocks
Qqwy / Elixir Type CheckTypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
victorgarciaesgi / Nuxt Typed Router🚦Provide autocompletion and typecheck to Nuxt router
sdiehl / Typechecker ZooA menagerie of cute implementations of modern typechecking algorithms
brendanzab / Language GardenA garden of small programming language implementations 🪴
RobertCraigie / Pyright PythonPython command line wrapper for pyright, a static type checker
Stewori / PytypesTyping-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
prechelt / Typecheck DecoratorFor Python3, e.g. @typecheck add_count(count: int, when: any(datetime, timedelta) = datetime.now)
gkossakowski / KentuckymuleLimits of Scala typechecking speed
erikerlandson / Coulombcoulomb: unit analysis for Scala
ollef / BidirectionalHaskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
msp-strath / TypOSbeing an operating system for typechecking processes
regadas / Github Actions DhallTypecheck, template and modularize your Github Action definitions with Dhall
JDemler / BidirectionalTypecheckingImplementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
FelixTheC / StrongtypingDecorator which checks whether the function is called with the correct type of parameters.
