LSTS
Large Scale Type Systems (programming language)
AI summary
Programming language
A programming language and proof assistant built on top of Rust.
- stars
- 114
- forks
- 3
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Proof Assistant
A proof assistant with a formal system for verifying mathematical theorems and proofs
rzk-lang/rzk212
Proof assistant
A proof assistant based on a type theory for synthetic ∞-categories.
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Proof assistant
An interactive proof assistant designed to help with educational mathematics
Proof automation tool
A tool for automating proof search and verification in dependent type theory using machine learning and external provers.
Jupyter assistant
A tool for integrating language assistance into JupyterLab
Coding assistant
An IRC bot and apprentice coder tool built in Haskell for interacting with programming concepts and providing learning support.
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Proof automation tool
Automates goal preprocessing in proof automation tactics using a custom-built tool
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
type theory development tool
A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory
Automation language
A dynamic language with user scripting capabilities to extend C/C++ programs and automate system tasks.
TLA-based spec language
A specification language with type checking and tooling based on temporal logic of actions
