Skip to content
@songlarknet

Songlark

The Lark toolchain for safety-critical realtime systems

Pinned Loading

  1. pipit Public

    Reactive systems in F*

    F* 5 1

Repositories

Showing 7 of 7 repositories
  • pipit Public

    Reactive systems in F*

    F* 5 1 0 0 Updated Jan 21, 2025
  • karamel Public Forked from FStarLang/karamel

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

    OCaml 0 Apache-2.0 69 0 0 Updated Sep 25, 2024
  • FStar Public Forked from FStarLang/FStar

    A Proof-oriented Programming Language

    F* 0 Apache-2.0 247 0 0 Updated Sep 25, 2024
  • docs Public

    Documentation

    1 0 0 0 Updated Jul 29, 2023
  • app-pipit-pump Public

    Water pump controller in Pipit

    C 0 0 0 0 Updated Apr 5, 2023
  • lark Public

    The Songlark Toolchain for high-assurance software

    Scala 2 Apache-2.0 0 0 0 Updated Mar 10, 2023
  • app-brake-lights Public

    Brake-lights example Lark program (C integration)

    C 0 0 0 0 Updated Oct 22, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.