andrew-johnson-4 / LSTS Sponsor Star 109 Code Issues Pull requests Discussions Large Scale Type Systems (programming language) lint language rust parser dependent-types compiler lambda-calculus ast proof-assistant category-theory lexer refinement-types type-checking error-reporting theorem-prover lambda-calculus-interpreter lsts assisted-reasoning Updated Aug 21, 2024 Rust
LSTS / imc Star 14 Code Issues Pull requests IMC: Intermodule Communication API imc lsts intermodule-communication-api Updated Sep 4, 2024 Makefile
andrew-johnson-4 / lsts-tutorial Sponsor Star 7 Code Issues Pull requests Tutorial for Large Scale Type Systems documentation tutorial reference lsts Updated Jul 28, 2023 JavaScript
andrew-johnson-4 / L1DFA Sponsor Star 2 Code Issues Pull requests Deterministic Finite-State Automata Library for Rust, written in L1 rust automata algorithm data-structure regex dfa regex-engine lsts regex-parser Updated Mar 15, 2023 Rust
choiwd / pyimclsts Star 1 Code Issues Pull requests Python bindings for the IMC message protocol of the LSTS toolchain python serialization python3 lsts Updated Dec 17, 2023 Python
paulosousadias / imc_def_dart Star 1 Code Issues Pull requests IMC dart generator. dart imc lsts imc-def Updated Jun 15, 2024 Dart