Structural type checking for Python
-
Updated
Nov 6, 2015 - Python
Structural type checking for Python
Runtime type checking against composable schemas
A compiler for Java byte code based custom programming language(LL(1) Context free Grammar), which implements compiler phases: Scanner, Parser, Semantic Analysis, Type Checking and Byte Code Generation
Compiler for a SimpleProgrammingLanguage (SPL). Implementing Lexing, Parsing, TypeChecking and finally Code Generation.
A webpack plugin allowing to call Flow type checker.
Collection of small javascript type check functions.
Simple variable type checking library.
Experimenting with type checking and type inference in Prolog
A simple compiler for the JFTT class.
Simple, agile, map schema in elixir with type checking, custom types with casting and validation and with json encoding
A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).
Overloading of functions and methods (including static- and classmethods). Supports complex type hinting. Does not modify original functions, classes and methods.
An interpreter for a (very) simple functional programming language.
Type Checking for AutoHotkey
A GitHub Action which typechecks and lints all Dhall files in a repository.
Demo using `ts-interface-builder/macro`
Assignments of the course COL226: Programming Languages offered in Second Sem 2020-21, IIT Delhi
Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.
Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.
To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."