jespercockx/agda-core

A work-in-progress core language for Agda, in Agda

Language: Agda - Size: 304 KB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 17 - Forks: 2

mtshiba/pylyzer

A fast static code analyzer & language server for Python

Language: Rust - Size: 2.82 MB - Last synced: 21 days ago - Pushed: 23 days ago - Stars: 1,988 - Forks: 30

Glyphack/enderpy

WIP: Python Type Checker and LSP 🔎

Language: Rust - Size: 1.59 MB - Last synced: 21 days ago - Pushed: 26 days ago - Stars: 52 - Forks: 3

cicada-lang/mugda

An implementation of the mugda paper

Language: TypeScript - Size: 2.99 MB - Last synced: 11 days ago - Pushed: 20 days ago - Stars: 2 - Forks: 2

yeslogic/fathom

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

Language: Rust - Size: 5.51 MB - Last synced: about 4 hours ago - Pushed: 9 months ago - Stars: 257 - Forks: 14

murilo-cunha/mirrors-pyre

Mirror of the `pyre-check` package for pre-commit.

Language: Python - Size: 26.4 KB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

corbpaul/gatsby-template

Gatsby starter template with full suite of testing published via Github Actions

Language: TypeScript - Size: 862 KB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

thejerrytan/mini-go-compiler

CS4212 - A mini compiler for Go language implemented in Ocaml

Language: OCaml - Size: 617 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

davidfstr/plint

A Python type checker and linter that just works.

Language: OCaml - Size: 48.8 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

kombucha-js/vanilla-schema-validator

a non-opinionated JavaScript schema validator/duck-typing based runtime type detector

Language: JavaScript - Size: 371 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

mesqueeb/is-what

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

Language: TypeScript - Size: 1.18 MB - Last synced: 8 days ago - Pushed: 20 days ago - Stars: 111 - Forks: 19

yazaldefilimone/lambda-checker

Dependent type checker with substitution for lambda calculus.

Language: Rust - Size: 5.86 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Language: Haskell - Size: 1.81 MB - Last synced: about 1 month ago - Pushed: 10 months ago - Stars: 106 - Forks: 8

msz/hammox

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

Language: Elixir - Size: 333 KB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 545 - Forks: 25

devcat-studio/kailua 📦

🌴 Type Checker and IDE Support for Lua

Language: Rust - Size: 2.22 MB - Last synced: 13 days ago - Pushed: almost 2 years ago - Stars: 168 - Forks: 5

groupoid/anders

🧊 Модальний гомотопічний верифікатор математики

Language: OCaml - Size: 11.5 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 17 - Forks: 3

yazaldefilimone/lambda-compiler.ts

Language: TypeScript - Size: 32.2 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

yazaldefilimone/lambda-compiler.rs

Language: Rust - Size: 6.84 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

LionelAuroux/pyrser

A PEG Parsing Tool

Language: Python - Size: 2.25 MB - Last synced: 18 days ago - Pushed: about 3 years ago - Stars: 34 - Forks: 8

brendanzab/rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Language: Rust - Size: 862 KB - Last synced: about 5 hours ago - Pushed: almost 2 years ago - Stars: 90 - Forks: 7

suica/write-you-a-typescript

Language: TypeScript - Size: 11.3 MB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 82 - Forks: 1

skarab42/unleashed-typescript

TypeScript with exposed internal definitions and some private methods for type checking.

Language: TypeScript - Size: 304 KB - Last synced: 1 day ago - Pushed: 10 months ago - Stars: 5 - Forks: 0

fathyb/parcel-plugin-typescript

🚨 Enhanced TypeScript support for Parcel

Language: TypeScript - Size: 1.26 MB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 180 - Forks: 18

0dminnimda/pynalyser

Static Python Code Analyzer

Language: Python - Size: 750 KB - Last synced: 17 days ago - Pushed: about 1 year ago - Stars: 32 - Forks: 7

MaxDesiatov/Typology

Swift type checking and semantic analysis for developer tools

Language: Swift - Size: 186 KB - Last synced: 18 days ago - Pushed: about 2 years ago - Stars: 80 - Forks: 5

julienetie/typecase

A type checker for dynamically typed JavaScript

Language: JavaScript - Size: 38.1 KB - Last synced: 3 months ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

VriskaSerket51/typescript-type-checker

Runtime Type Checker for Typescript

Language: TypeScript - Size: 28.3 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

orsinium-labs/arguard

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

Language: Go - Size: 60.5 KB - Last synced: 21 days ago - Pushed: 6 months ago - Stars: 25 - Forks: 1

forked-from-1kasper/anders

Anders: Cubical Type Checker

Language: OCaml - Size: 4.02 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 13 - Forks: 1

gebner/trepplein

Lean type-checker written in Scala.

Language: Scala - Size: 118 KB - Last synced: 7 months ago - Pushed: about 2 years ago - Stars: 26 - Forks: 3

alexgs/khyron 📦

Run-time type checking for JavaScript

Language: JavaScript - Size: 97.7 KB - Last synced: 23 days ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

nguyenminh-phuc/MiniJava

MiniJava is a small subset of Java.

Language: F# - Size: 180 KB - Last synced: 8 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

umbrellio/typecheck

Strict, declarative, extensible runtime type checker for JavaScript

Language: TypeScript - Size: 90.8 KB - Last synced: 13 days ago - Pushed: 10 months ago - Stars: 3 - Forks: 0

shellyln/tynder

TypeScript friendly Data validator for JavaScript.

Language: TypeScript - Size: 2.2 MB - Last synced: 3 days ago - Pushed: about 1 year ago - Stars: 109 - Forks: 1

typeis/typeis

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

Language: JavaScript - Size: 87.9 KB - Last synced: 10 days ago - Pushed: almost 3 years ago - Stars: 93 - Forks: 13

jboy/argcheck-python3

A Python3 decorator for automated checking of function-call argument types/values using std-lib ‘inspect'.

Language: Python - Size: 80.1 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

lue-bird/type-checker-language-experiment

An attempt at a language for the logic of a possible type checker for lau

Language: Elm - Size: 29.3 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

gfngfn/toy-macro-ml

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

Language: OCaml - Size: 80.1 KB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 27 - Forks: 1

gfngfn/poly-shift-reset

An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]

Language: OCaml - Size: 68.4 KB - Last synced: 9 months ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

gfngfn/lambda-next-box

Language: OCaml - Size: 26.4 KB - Last synced: 9 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

ashton314/lambda-x86

Lambda Calculus compiler targeting x86, written in Racket

Language: Racket - Size: 687 KB - Last synced: 9 months ago - Pushed: almost 4 years ago - Stars: 6 - Forks: 0

ltics/tinytl

unidiomatic usage of Rust, no linear type, no memory safety :joy:

Language: Rust - Size: 13.7 KB - Last synced: 10 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

kawmra/typist-json

A simple runtime JSON type checker.

Language: TypeScript - Size: 439 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 25 - Forks: 0

forked-from-1kasper/bravo

Castle Bravo: Experimental HoTT Implementation

Language: OCaml - Size: 381 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 6 - Forks: 1

KivixEletric/that-is

A JavaScript library that checks whether the value is of a specific type

Language: JavaScript - Size: 12.7 KB - Last synced: 21 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

Marcisbee/letype

🔏 Type checker for any data structures

Language: JavaScript - Size: 551 KB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 16 - Forks: 0

teach-plt/www

Webpages of course Programming Language Technology

Language: Java - Size: 14.5 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

scj7t4/lambdarodeo

Lambda.Rodeo is a compiled, strongly-typed functional programming language for the JVM. It intends to have a clear, simple syntax with an advanced type checker.

Language: Java - Size: 688 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

tariel-x/polyschema

JSON-Schema based type resolver for golang

Language: Go - Size: 19.5 KB - Last synced: 5 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

efeacer/EPFL_CLP_AmyCompiler

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)

Language: Scala - Size: 17.7 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

leidard/TinyML

A tiny interpreter for a subset of expressions of the ML language.

Language: F# - Size: 13.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

kvakvs/intellij-ironclad

Full rewrite of IntelliJ IDEA Erlang plugin with type inference and good stuff

Language: Kotlin - Size: 173 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

madmann91/slang

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

Language: C++ - Size: 1.12 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 19 - Forks: 2

ItsJonQ/is

💡 A tiny type checker for JavaScript

Language: JavaScript - Size: 4.42 MB - Last synced: 12 days ago - Pushed: about 1 year ago - Stars: 5 - Forks: 1

kalhorghazal/C--Compiler

👩‍💻C-- Compiler, Programming Languages and Compiler Design, University of Tehran

Language: Java - Size: 5.89 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0

pyrmont/taipo 📦

Taipo is a simple library for checking the types of variables

Language: Ruby - Size: 72.3 KB - Last synced: 20 days ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0

mongodb-js/hadron-type-checker 📦

Hadron Object Type Checker

Language: JavaScript - Size: 358 KB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 0 - Forks: 1

SamChou19815/sampl 📦

Sound And Modern Programming Language

Language: Kotlin - Size: 663 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

ysoftware/Language

An excercise in developing a programming language

Language: Swift - Size: 1.37 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

PragmaTwice/ichigo-lang

write a little simply typed functional language to practice Rust

Language: Rust - Size: 520 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 15 - Forks: 0

ilankri/lambda

A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)

Language: OCaml - Size: 17.6 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

dwango/fialyzer

[WIP] Faster Implementation of Dialyzer

Language: OCaml - Size: 1.97 MB - Last synced: 21 days ago - Pushed: about 2 months ago - Stars: 56 - Forks: 8

RemuLang/remu-type-system

type-system, revised unification algorithm and runtime time representations

Language: OCaml - Size: 85 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 13 - Forks: 0

tiaanduplessis/typefence

Basic runtime type checking

Language: TypeScript - Size: 95.7 KB - Last synced: 26 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

tatiana-s/cerium

An incremental type checker for a subset of C using DDlog.

Language: Rust - Size: 1.27 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

DWTechs/CheckHard.js

Type checking library for Javascript and Node.js to test if a given variable is what it is supposed to be

Language: JavaScript - Size: 267 KB - Last synced: 3 days ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

justinfargnoli/lamb

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

Language: Rust - Size: 313 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 0

kputnam/hee

Statically-typed functional and concatenative programming language

Language: Haskell - Size: 2.55 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

forked-from-1kasper/hurricane

Hurricane: HoTT-I Type System

Language: OCaml - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

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.

Language: Haskell - Size: 1.36 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

lkster/Safetify

Value type safing utility

Language: TypeScript - Size: 599 KB - Last synced: 21 days ago - Pushed: almost 4 years ago - Stars: 7 - Forks: 2

jokemmy/whatitis

Whatitis is a type checker.

Language: JavaScript - Size: 325 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

asandroq/mirage

Toy typechecker and interpreter for the Mirage language.

Language: Rust - Size: 209 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

nutboltu/typeco

A javascript micro library which allows you to check javascript data types.

Language: JavaScript - Size: 3.38 MB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

heyrutvik/nbe-a-tutorial

Checking Dependent Types with Normalization by Evaluation

Language: Scala - Size: 23.4 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 8 - Forks: 1

omriattal/Principles-of-Programming-Languages

The assignments of the course Principles of Programming Languages in Ben Gurion University, Israel.

Language: TypeScript - Size: 1.18 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

vipul43/CS3130_POPL_LAB

lab assignments of cs3130 course in iitpkd

Language: Standard ML - Size: 33.2 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ComputationalReflection/stypy

Stypy Python 2 type checker

Language: Python - Size: 101 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0

Vedant2311/Interpreters-and-Simulators

Consists of a Functional language as well as an Imperative language, implemented using Ocaml

Language: OCaml - Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

jeertmans/strong

Simple dynamic Python type checker

Language: Python - Size: 842 KB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Tiendil/coulson

control types of variables in runtime

Language: Python - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rrozema12/MyPL

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

Language: Python - Size: 55.7 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 3 - Forks: 1

piyush7gupta/Type-Checker

Implemented a type checker in Prolog which can work as tyoe interface engine

Language: Prolog - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

daelvn/typekit

🔧 Version 8 of typekit, the type toolkit for Lua

Language: MoonScript - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 5 - Forks: 0

daltonmenezes/what-type-is

:grey_question: A simple type checking library for Node.js

Language: JavaScript - Size: 36.1 KB - Last synced: 12 days ago - Pushed: almost 5 years ago - Stars: 7 - Forks: 1

Singleware/types

Type validator package.

Language: JavaScript - Size: 36.1 KB - Last synced: 22 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

techcentaur/COL226-Assignments

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.

Language: OCaml - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1

anindoasaha/typchkr

Language: XSLT - Size: 140 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0