Skip to content

@songlarknet Songlark

Change the repository type filter

All

    Repositories list

    7 repositories

    • pipit

      Public
      Reactive systems in F*
      F*
      •0•4•0•0•Updated Sep 25, 2024Sep 25, 2024

    • karamel

      Public
      KaRaMeL is a tool for extracting low-level F* programs to readable C code
      OCaml
      •
      Apache License 2.0
      •59•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • FStar

      Public
      A Proof-oriented Programming Language
      F*
      •
      Apache License 2.0
      •231•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • docs

      Public
      Documentation
      0•1•0•0•Updated Jul 29, 2023Jul 29, 2023

    • app-pipit-pump

      Public
      Water pump controller in Pipit
      C
      •0•0•0•0•Updated Apr 5, 2023Apr 5, 2023

    • lark

      Public
      The Songlark Toolchain for high-assurance software
      compilerembedded-systemsmodel-checkingformal-methodssynchronous-language
      Scala
      •
      Apache License 2.0
      •0•2•0•0•Updated Mar 10, 2023Mar 10, 2023

    • app-brake-lights

      Public
      Brake-lights example Lark program (C integration)
      C
      •0•0•0•0•Updated Oct 22, 2022Oct 22, 2022