#
lsts
Here are 7 public repositories matching this topic...
Large Scale Type Systems (programming language)
lintprogramming-languagerustparserdependent-typescompilerlambda-calculusastproof-assistantcategory-theorylexerrefinement-typestype-checkingerror-reportingtheorem-proverlambda-calculus-interpreterlstsassisted-reasoning
- Updated
Jan 22, 2025
Tutorial for Large Scale Type Systems
- Updated
Jan 26, 2025 - JavaScript
Deterministic Finite-State Automata Library for Rust, written in L1
- Updated
Mar 15, 2023 - Rust
Python bindings for the IMC message protocol of the LSTS toolchain
- Updated
Dec 17, 2023 - Python
Improve this page
Add a description, image, and links to thelsts topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thelsts topic, visit your repo's landing page and select "manage topics."