Lambda-Mountain-Compiler-Backend / LSTS Star 125 Code Issues Pull requests Discussions Large Scale Type Systems: ML/C Hybrid Programming Languagelintprogramming-languagerustparserdependent-typescompilerlambda-calculusastproof-assistantcategory-theorylexerrefinement-typestype-checkingerror-reportingtheorem-proverlambda-calculus-interpreterlstsassisted-reasoning Updated Apr 3, 2026
LSTS / imc Star 16 Code Issues Pull requests IMC: Intermodule Communication APIimclstsintermodule-communication-api Updated Aug 6, 2026Makefile
andrew4328 / lsts-tutorial Sponsor Star 6 Code Issues Pull requests Tutorial for Large Scale Type Systemsdocumentationtutorialreferencelsts Updated Jan 26, 2025JavaScript
paulosousadias / imc_def_dart Star 2 Code Issues Pull requests IMC dart generator.dartimclstsimc-def Updated May 24, 2025Dart
choiwd / pyimclsts Star 2 Code Issues Pull requests Python bindings for the IMC message protocol of the LSTS toolchainpythonserializationpython3lsts Updated Dec 17, 2023Python
Lambda-Mountain-Compiler-Backend / lsts-language-reference Star 2 Code Issues Pull requests LSTS Language Reference Websitelsts Updated Oct 2, 2025HTML