An open API service providing repository metadata for many open source software ecosystems.

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