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

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

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

LSTS/imc
IMC: Intermodule Communication API
Language: Makefile - Size: 2.12 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 14 - Forks: 38

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

paulosousadias/imc_def_dart
IMC dart generator.
Language: Dart - Size: 4.89 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

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
