GitHub topics: lsts
paulosousadias/imc_def_dart
IMC dart generator.
Language: Dart - Size: 4.89 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0

LSTS/imc
IMC: Intermodule Communication API
Language: Makefile - Size: 2.71 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 14 - Forks: 37

Lambda-Mountain-Compiler-Backend/lsts-language-reference
LSTS Language Reference Website
Language: HTML - Size: 342 KB - Last synced at: 9 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0

Lambda-Mountain-Compiler-Backend/LSTS
Large Scale Type Systems (programming language)
Size: 1.21 MB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 122 - Forks: 3

andrew-johnson-4/L1DFA
Deterministic Finite-State Automata Library for Rust, written in L1
Language: Rust - Size: 42 KB - Last synced at: 27 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

andrew-johnson-4/lsts-tutorial
Tutorial for Large Scale Type Systems
Language: JavaScript - Size: 2.7 MB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 7 - Forks: 2

choiwd/pyimclsts
Python bindings for the IMC message protocol of the LSTS toolchain
Language: Python - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
