Skip to content

@hipsleek hipsleek

Change the repository type filter

All

    Repositories list

    7 repositories

    • Heifer

      Public
      effects system for continuation
      OCaml
      •
      MIT License
      •4•16•9•3•Updated Sep 30, 2024Sep 30, 2024

    • hipsleek

      Public
      OCaml
      •
      MIT License
      •11•11•9•2•Updated Aug 17, 2024Aug 17, 2024

    • why3

      Public
      OCaml
      •
      Other
      •0•0•0•1•Updated Jul 25, 2024Jul 25, 2024

    • frama-c

      Public
      OCaml
      •
      Other
      •1•0•0•1•Updated Jul 24, 2024Jul 24, 2024

    • sleekapi_example

      Public
      OCaml
      •0•0•1•0•Updated Jul 10, 2024Jul 10, 2024

    • fixcalc

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • omega_stub

      Public
      Haskell
      •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024