lsts

There are 6 repositories under lsts topic.

andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
Language:Rust114 3 1293
LSTS/imc
IMC: Intermodule Communication API
Language:Makefile14 32 237
andrew-johnson-4/lsts-tutorial
Tutorial for Large Scale Type Systems
Language:JavaScript7 1 12
andrew-johnson-4/L1DFA
Deterministic Finite-State Automata Library for Rust, written in L1
Language:Rust2 1 100
choiwd/pyimclsts
Python bindings for the IMC message protocol of the LSTS toolchain
Language:Python1 1 02
paulosousadias/imc_def_dart
IMC dart generator.
Language:Dart1 2 00