#

typechecking

Here are 68 public repositories matching this topic...

QiaoranChelsea / PTCL

A type checking language for Prolog

prolog typechecking

Updated Jun 13, 2018
Haskell

T99 / typit

Fully recursive runtime typechecking.

npm types runtime typechecking

Updated Sep 27, 2022
TypeScript

GustavLindberg99 / Typecheck.js

JavaScript library for runtime type checking

javascript typechecker javascript-library typechecking

Updated May 4, 2024
JavaScript

afzaalb / learn-ts

Learn TypeScript Fundamentals

typescript reactjs typechecking

Updated Dec 5, 2022
JavaScript

Thiru-Coder / type-master

Type Checking Game!

beginner-project typechecking typing-game jsgames typingspeedtest

Updated May 12, 2024
JavaScript

ZaikoXander / rubyt

A type checking gem for Ruby - still in development

ruby utility gem easy-to-use type typechecking rubyt

Updated Dec 25, 2023
Ruby

surbhijain18 / Compiler

A compiler for Java byte code based custom programming language(LL(1) Context free Grammar), which implements compiler phases: Scanner, Parser, Semantic Analysis, Type Checking and Byte Code Generation

java parser scanner asm symbol-table typechecking codegeneration java-bytecode-compiler java-byte

Updated May 26, 2018
Java

dverheijden / spl_compiler

Compiler for a SimpleProgrammingLanguage (SPL). Implementing Lexing, Parsing, TypeChecking and finally Code Generation.

parsing pratt-parser lexer code-generation spl compiler-design typechecking compiler-construction

Updated Jun 27, 2018
Java

morteza-nouri / PLC-phase3

Compiler and Programming Languages Design Course - University of Tehran - Spring 1401

compiler-design typechecking semantic-analyzer

Updated May 28, 2022
Java

jinger89 / rubric

Simple variable type checking library.

javascript typecheck typechecking

Updated Dec 26, 2019
JavaScript

flexiooss / assert

Basic assertion

javascript assertion typechecking

Updated Sep 1, 2022
JavaScript

phantie / overloaded

Overloading of functions and methods (including static- and classmethods). Supports complex type hinting. Does not modify original functions, classes and methods.

python pure pinpoint polymorphism typechecking overloading no-side-effects

Updated Jun 23, 2021
Python

jusleg / sorbet-playground

Simple repl that you can fork and test your sorbet code statically and at runtime

ruby typechecking sorbet replit

Updated Jun 10, 2022
Ruby

hnariman / rust_typecheck

Typecheck example in Rust

rust rust-lang rustlang typechecking

Updated Feb 19, 2022
Rust

imaqtkatt / tytyp

tanuki type checker

rust hindley-milner typechecking

Updated Nov 26, 2023
Rust

lorenzobilli / LPO-project

An interpreter for a (very) simple functional programming language.

java parser typechecker interpreter parsing tokenizer evaluation programming-languages evaluator lexer typechecking tokenization abstract-syntax-tree

Updated Oct 29, 2021
Java

Codevendor / type_of

An importable TypeScript method to fix the JavaScript 'typeof' operator. This code is written as a module for the deno runtime.

javascript typescript types typeof check operator type typecheck typechecking

Updated Mar 27, 2023
TypeScript

node4web / util

🧰 node:util for use anywhere

nodejs javascript polyfill util introspection ponyfill utility-library typechecking

Updated Aug 3, 2023
TypeScript

GauravJain28 / PL-Assignments

Assignments of the course COL226: Programming Languages offered in Second Sem 2020-21, IIT Delhi

evaluator standard-ml typechecking lexer-parser

Updated Dec 9, 2021
Standard ML

KOLANICH-libs / ClosureCompiler.py

Python bindings to Google Closure Compiler

javascript obfuscation optimization ecmascript bindings deobfuscation google-closure-compiler typechecking transpilation jpype

Updated Oct 14, 2023
Python

Improve this page

Add a description, image, and links to the typechecking 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 typechecking topic, visit your repo's landing page and select "manage topics."