#

type-checker

Here are 70 public repositories matching this topic...

msz / hammox

🏝 automated contract testing via type checking for Elixir functions and mocks

testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts

Updated Mar 23, 2022
Elixir

yeslogic / fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

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 Apr 7, 2022
Rust

fathyb / parcel-plugin-typescript

🚨 Enhanced TypeScript support for Parcel

lint typescript transformers code-quality type-checker parcel-plugin

Updated Aug 10, 2021
TypeScript

devcat-studio / kailua

🌴 Type Checker and IDE Support for Lua

lua vscode-extension type-checker kailua

Updated Jan 6, 2019
Rust

tynder

shellyln / tynder

TypeScript friendly Data validator for JavaScript.

typescript schema validator validation-library type-checker data-validator schema-validator

Updated Mar 25, 2022
TypeScript

typeis / typeis

Typeis. it's the smart and simple javaScript type checker

javascript simple typeof type-checking type-checker typeis

Updated Jul 28, 2021
JavaScript

lamdu / hypertypes

Sponsor

Hypertypes - generic programming for heterogeneous recursive types

programming-languages type-inference type-checker programming-language-development

Updated Apr 4, 2022
Haskell

groupoid / anders

🧊 Anders: Modal HoTT Proof Assistant

dependent-types proof-assistant cubical-type-theory type-system theorem-prover type-checker mltt

Updated Apr 7, 2022
Pug

brendanzab / rust-nbe-for-mltt

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

MaxDesiatov / Typology

Sponsor

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 Mar 16, 2022
Swift

dwango / fialyzer

[WIP] Faster Implementation of Dialyzer

erlang type-checker

Updated Aug 22, 2019
OCaml

mesqueeb / is-what

Sponsor

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 Jan 26, 2022
TypeScript

LionelAuroux / pyrser

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 Mar 13, 2021
Python

gfngfn / toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

ocaml macro type-system type-checker multi-stage-programming

Updated Dec 21, 2018
OCaml

kawmra / typist-json

A simple runtime JSON type checker.

json typescript typescript-library type-safe type-checking type-checker runtime-typechecking

Updated Mar 27, 2022
TypeScript

gebner / trepplein

Lean type-checker written in Scala.

scala theorem-proving lean type-checker

Updated Mar 13, 2022
Scala

Marcisbee / letype

🔏 Type checker for any data structures

schema types validator type type-checker type-check

Updated Jun 16, 2021
JavaScript

PragmaTwice / ichigo-lang

write a little simply typed functional language to practice Rust

rust type-checker stlc functional-lang darling-in-the-frankxx

Updated Jun 18, 2020
Rust

madmann91 / slang

A small, flexible and extensible front-end for GLSL.

parser glsl preprocessor type-checker

Updated Oct 2, 2017
C++

RemuLang / remu-type-system

type-system, revised unification algorithm and runtime time representations

programming-language compiler type-system type-checker row-polymorphism

Updated Dec 12, 2019
OCaml

heyrutvik / nbe-a-tutorial

Checking Dependent Types with Normalization by Evaluation

dependent-types interpreter lambda-calculus type-checker

Updated Oct 1, 2018
Scala

ThaFog / Safetify

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

daltonmenezes / what-type-is

❔ A simple type checking library for Node.js

nodejs javascript node js javascript-library node-js type-checking type-checker

Updated Aug 7, 2019
JavaScript

ashton314 / lambda-x86

Lambda Calculus compiler targeting x86, written in Racket

compiler racket lambda-calculus x86 type-inference type-checker bidirectional-typechecking

Updated Jun 14, 2020
Racket

0dminnimda / pynalyser

Open

Round the edges of the logo

4

0dminnimda commented Mar 29, 2022

Looks too pointy on a white background
https://pypi.org/project/pynalyser/

The logos are in the docs folder

Read more

documentation good first issue

csabahruska / dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

parser haskell functional-programming hindley-milner type-checker

Updated Apr 3, 2019
Haskell

justinfargnoli / lamb

An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html

rust formatter interpreter llvm lambda-calculus type-checker typed-lambda-calculus

Updated Nov 24, 2021
Rust

ItsJonQ / is

💡 A tiny type checker for JavaScript

javascript types checker is check tiny type type-checker type-check plain-object check-type

Updated Feb 9, 2022
JavaScript

boystrange / FairCheck

FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

session-types fairness type-checker pi-calculus deadlock-freedom liveness-checker

Updated Dec 30, 2021
Haskell

rrozema12 / MyPL

A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.

parser grammars interpreter lexer type-checker

Updated Mar 26, 2017
Python

Improve this page

Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.

Curate this topic

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."