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•7•0•Updated Jan 6, 2025Jan 6, 2025

    • hipsleek

      Public
      OCaml
      •
      MIT License
      •11•12•9•2•Updated Jan 2, 2025Jan 2, 2025

    • 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