36 Open source projects that are alternatives of or similar to anders

Cicada Language

A PEG Parsing Tool

Swift type checking and semantic analysis for developer tools

🧊 Інститут Формальної Математики

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

Type Theory in Type Theory using Cubical Agda

A classical propositional theorem prover in Haskell, using Wang's Algorithm.

An SMT Solver for string constraints

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

A macro for defining type operators in Rust.

A simple runtime JSON type checker.

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

A collection of PLT researching

A strongly typed GraphQL API framework

Category theory formalized in cubical agda

Formalization of Typed Assembly Language (TAL) in Coq

A Domain Representation Language

Resolution theorem proving for predicate logic in pure Python.

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

Runtime type annotations for CoffeeScript (and JavaScript too!)

👾 Sokoban Game in Pure TypeScript Type System

TypeDB: a strongly-typed database

A modern proof language

A language-generic implementation of equality saturation in Haskell

A Declarative Theorem Prover for First-Order Classical Logic

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

[WIP] Faster Implementation of Dialyzer