Skip to content
Change the repository type filter

All

    Repositories list

    • pico-ssm

      Public
      C
      BSD 3-Clause "New" or "Revised" License
      0100Updated Aug 22, 2024Aug 22, 2024
    • lice

      Public
      Rust
      0201Updated May 9, 2024May 9, 2024
    • sslang

      Public
      A language built atop the Sparse Synchronous Model
      Haskell
      BSD 3-Clause "New" or "Revised" License
      018186Updated Dec 23, 2023Dec 23, 2023
    • Runtime for the Sparse Synchronous Model
      C
      BSD 3-Clause "New" or "Revised" License
      0321Updated May 21, 2023May 21, 2023
    • lua-ssm

      Public
      The Sparse Synchronous Model in Lua
      Lua
      MIT License
      0000Updated Feb 12, 2023Feb 12, 2023
    • Visual Studio Code extension for sslang
      0001Updated Nov 28, 2022Nov 28, 2022
    • Scoria

      Public
      This is an embedding of the Sparse Synchronous Model, in Haskell!
      Haskell
      BSD 3-Clause "New" or "Revised" License
      04196Updated Oct 11, 2022Oct 11, 2022
    • zephyr

      Public
      Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
      C
      Apache License 2.0
      6.7k000Updated Dec 15, 2021Dec 15, 2021
    • Vim Script
      0000Updated Sep 29, 2021Sep 29, 2021