26 Open source projects that are alternatives of or similar to TypesAndProofs

Probabilistic Type Inference using Graph Neural Networks

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

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Cicada Language

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

PHPStan based SQL static analysis and type inference for the database access layer

An SMT Solver for string constraints

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

Resolution theorem proving for predicate logic in pure Python.

TypeScript-first schema validation with static type inference

A static, type inferred and embeddable language written in Rust.

Awesome autocompletion, static analysis and refactoring library for python

A static analysis tool for finding errors in PHP applications

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

A Clojure utility to inspect static types inferred by the Clojure compiler

✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!

Runtime Extended Inference for json data.

Type System for Data Analysis in Python

Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020

Swift type checking and semantic analysis for developer tools

Sam's Programming Language

A pure functional type-inferred language based on JavaScript

Algorithm W and Algorithm M in F#

A modern proof language

A language-generic implementation of equality saturation in Haskell

A Declarative Theorem Prover for First-Order Classical Logic