unidiomatic usage of Rust, no linear type, no memory safety 😂
-
Updated
Aug 21, 2016 - Rust
unidiomatic usage of Rust, no linear type, no memory safety 😂
CS4212 - A mini compiler for Go language implemented in Ocaml
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
A Python type checker and linter that just works.
MiniJava is a small subset of Java.
Run-time type checking for JavaScript
A type checker for dynamically typed JavaScript
The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.
Taipo is a simple library for checking the types of variables
JSON-Schema based type resolver for golang
Checking Dependent Types with Normalization by Evaluation
Type validator package.
An implementation of MacroML [Ganz, Sabry & Taha 2001]
The project of the Computer Language Processing (CLP) course in EPFL. It implements a compiler and an interpreter for Amy Language that is a subset of Scala. (2018-2019)
Basic implementation of Hindley-Milner Type System and variants.
❔ A simple type checking library for Node.js
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."