25 Open source projects that are alternatives of or similar to plt-research

A PEG Parsing Tool

A strongly typed GraphQL API framework

Formalization of Typed Assembly Language (TAL) in Coq

A Domain Representation Language

Fωμ type checker and compiler

TypeDB: a strongly-typed database

A list of computer-science readings I recommend

Collection of TypeScript type challenges with online judge

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

The XP Framework is an all-purpose, object oriented PHP framework.

TypeQL: the query language of TypeDB - a strongly-typed database

Runtime Extended Inference for json data.

[WIP] A type system for nix

Type System for Data Analysis in Python

Swift type checking and semantic analysis for developer tools

Runtime type annotations for CoffeeScript (and JavaScript too!)

👾 Sokoban Game in Pure TypeScript Type System

TypeDB: a strongly-typed database

🧊 Модальний Гомотопічний Прувер

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

Cicada Language

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

A macro for defining type operators in Rust.

A light-weight, extendable, high level, universal code parser built on top of tree-sitter

Programming Language Research, Applied PLT & Compilers