Projects in Awesome Lists tagged with type-checker

https://github.com/mtshiba/pylyzer

A fast, feature-rich static code analyzer & language server for Python

language-server python rust static-analysis type-checker

Last synced: 17 Dec 2024

https://github.com/msz/hammox

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

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

Last synced: 31 Oct 2024

https://github.com/yeslogic/fathom

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

binary-data binary-format compiler data-description-language declarative dependent-record-types dependent-types dsl language parser programming-language rust statically-typed type-checker type-system

Last synced: 21 Dec 2024

https://github.com/carthage-software/mago

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

code-analyzer code-style coding-standards formatter lexer linter parser php static-analysis type-checker

Last synced: 21 Dec 2024

https://github.com/mesqueeb/is-what

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

check-type class-identifier class-instance define-type get-type is-object is-plain-obj is-plain-object javascript javascript-type plain-object plain-objects primitive-types type-check type-checker type-checking typechecker typescript what-type

Last synced: 19 Dec 2024

https://github.com/fathyb/parcel-plugin-typescript

🚨 Enhanced TypeScript support for Parcel

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

Last synced: 15 Dec 2024

https://github.com/devcat-studio/kailua

🌴 Type Checker and IDE Support for Lua

kailua lua type-checker vscode-extension

Last synced: 28 Sep 2024

https://github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

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

Last synced: 18 Dec 2024

https://github.com/shellyln/tynder

TypeScript friendly Data validator for JavaScript.

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

Last synced: 19 Dec 2024

https://github.com/brendanzab/rust-nbe-for-mltt

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

bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification

Last synced: 27 Oct 2024

https://github.com/suica/write-you-a-typescript

tutorial type-checker typescript

Last synced: 16 Dec 2024

https://github.com/maxdesiatov/typology

Swift type checking and semantic analysis for developer tools

developer-tools hindley-milner semantic-analysis semantic-analyzer swift type-checker type-checking type-inference type-system

Last synced: 27 Oct 2024

https://github.com/MaxDesiatov/Typology

Swift type checking and semantic analysis for developer tools

developer-tools hindley-milner semantic-analysis semantic-analyzer swift type-checker type-checking type-inference type-system

Last synced: 23 Nov 2024

https://github.com/jespercockx/agda-core

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

agda agda-backend core-language dependent-types type-checker

Last synced: 10 Dec 2024

https://github.com/gfngfn/toy-macro-ml

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

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

Last synced: 11 Oct 2024

https://github.com/gebner/trepplein

Lean type-checker written in Scala.

lean scala theorem-proving type-checker

Last synced: 06 Nov 2024

https://github.com/orsinium-labs/arguard

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

ci contracts dbc deal design-by-contract go golang golangci-lint guards lint linter safety static-analysis type-checker

Last synced: 16 Nov 2024

https://github.com/madmann91/slang

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

glsl parser preprocessor type-checker

Last synced: 20 Nov 2024

https://github.com/groupoid/anders

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

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

Last synced: 05 Dec 2024

https://github.com/marcisbee/letype

🔏 Type checker for any data structures

schema type type-check type-checker types validator

Last synced: 14 Nov 2024

https://github.com/Marcisbee/letype

🔏 Type checker for any data structures

schema type type-check type-checker types validator

Last synced: 12 Nov 2024

https://github.com/pragmatwice/ichigo-lang

write a little simply typed functional language to practice Rust

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

Last synced: 08 Nov 2024

https://github.com/forked-from-1kasper/anders

Anders: Cubical Type Checker

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

Last synced: 10 Nov 2024

https://github.com/daltonmenezes/what-type-is

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

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

Last synced: 11 Oct 2024

https://github.com/forked-from-1kasper/bravo

Castle Bravo: Experimental HoTT Implementation

dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker univalent-foundations

Last synced: 10 Nov 2024

https://github.com/skarab42/unleashed-typescript

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

internal tssert type-check type-checker types typescript unleashed

Last synced: 28 Oct 2024

https://github.com/biyuehu/tsukiko

Types Check And Parse In The Runtime Base On TypeScript

dto dto-generator dto-pattern tools type-checker types typescript utils zod

Last synced: 19 Dec 2024

https://github.com/itsjonq/is

💡 A tiny type checker for JavaScript

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

Last synced: 14 Nov 2024

https://github.com/csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

functional-programming haskell hindley-milner parser type-checker

Last synced: 14 Oct 2024

https://github.com/kputnam/hee

Statically-typed functional and concatenative programming language

interpreter programming-language stack-language type-checker

Last synced: 17 Dec 2024

https://github.com/tebogoyungmercykay/recspl-compiler-construction-in-python

This repository contains the core components of our Recursive Student Programming Language Compiler Construction and Design project. The project aims to implement a complete compiler, including lexical analysis, parsing, semantic analysis, and code generation.

intermediate-code-generation lexer parser pytest semantics syntax-tree testing tokens type-checker