-
Updated
Sep 4, 2020 - TypeScript
#
type-checker
Here are 54 public repositories matching this topic...
-
Updated
Jan 6, 2019 - Rust
Typeis. it's the smart and simple javaScript type checker
-
Updated
Sep 7, 2020 - JavaScript
TypeScript friendly Data validator for JavaScript.
-
Updated
Sep 13, 2020 - TypeScript
language
rust
parser
dependent-types
compiler
binary-data
dsl
declarative
data-description-language
type-system
statically-typed
type-checker
binary-format
dependent-record-types
-
Updated
Sep 17, 2020 - Rust
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust
dependent-types
type-theory
type-system
type-inference
unification
type-checker
bidirectional-typechecking
debruijn-indices
dependent-record-types
dependent-records
normalization-by-evaluation
semantic-typechecking
-
Updated
Jun 22, 2019 - Rust
Swift type checking and semantic analysis for developer tools
swift
developer-tools
type-checking
type-system
hindley-milner
type-inference
semantic-analysis
type-checker
semantic-analyzer
-
Updated
Jul 3, 2020 - Swift
tiny, yet Moo(se)-compatible type constraint
-
Updated
Sep 15, 2020 - Perl
A PEG Parsing Tool
python
parser
tree
parsing
matching
grammar
typing
parsing-expression-grammar
type
peg
type-checking
type-system
type-checker
tree-matching
-
Updated
Apr 8, 2020 - Python
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
javascript
typechecker
typescript
class-instance
type-checking
primitive-types
plain-objects
is-object
type-checker
type-check
is-plain-obj
plain-object
check-type
javascript-type
class-identifier
define-type
get-type
what-type
is-plain-object
-
Updated
Sep 2, 2020 - TypeScript
An implementation of MacroML [Ganz, Sabry & Taha 2001]
-
Updated
Dec 21, 2018 - OCaml
-
Updated
Jul 20, 2020 - JavaScript
type-system, revised unification algorithm and runtime time representations
-
Updated
Dec 12, 2019 - OCaml
write a little simply typed functional language to practice Rust
-
Updated
Jun 18, 2020 - Rust
A small, flexible and extensible front-end for GLSL.
-
Updated
Oct 2, 2017 - C++
Value type safing utility
resolver
verify
typescript
validation
data-validation
safety
typesafe
type-safety
type-checking
resolver-library
type-checker
-
Updated
Jul 30, 2020 - TypeScript
Lean type-checker written in Scala.
-
Updated
Jun 16, 2018 - Scala
-
Updated
Aug 7, 2019 - JavaScript
Checking Dependent Types with Normalization by Evaluation
-
Updated
Oct 1, 2018 - Scala
Basic implementation of Hindley-Milner Type System and variants.
-
Updated
Apr 3, 2019 - Haskell
A type checker for dynamically typed JavaScript
-
Updated
Mar 16, 2018 - JavaScript
Strict, declarative, extensible runtime type checker for JavaScript
-
Updated
Sep 11, 2020 - JavaScript
-
Updated
Aug 17, 2020 - JavaScript
A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
-
Updated
Mar 26, 2017 - Python
Taipo is a simple library for checking the types of variables
-
Updated
Jun 9, 2018 - Ruby
A javascript micro library which allows you to check javascript data types.
types
is
javascript-library
type-checking
type-checker
javascript-micro-library
javascript-type
js-data-type
-
Updated
Jul 17, 2020 - JavaScript
JSON-Schema based type resolver for golang
-
Updated
Sep 1, 2018 - Go
-
Updated
Feb 10, 2020 - MoonScript
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."