Skip to content
@hipsleek

hipsleek

Popular repositories Loading

  1. Heifer Heifer Public

    effects system for continuation

    OCaml 16 4

  2. hipsleek hipsleek Public

    OCaml 12 11

  3. fixcalc fixcalc Public

    Haskell

  4. omega_stub omega_stub Public

    Haskell

  5. why3 why3 Public

    OCaml

  6. frama-c frama-c Public

    OCaml 1

Repositories

Showing 7 of 7 repositories
  • Heifer Public

    effects system for continuation

    hipsleek/Heifer’s past year of commit activity
    OCaml 16 MIT 4 7 (2 issues need help) 0 Updated Jan 6, 2025
  • hipsleek Public
    hipsleek/hipsleek’s past year of commit activity
    OCaml 12 MIT 11 9 2 Updated Jan 2, 2025
  • why3 Public
    hipsleek/why3’s past year of commit activity
    OCaml 0 0 0 1 Updated Jul 25, 2024
  • frama-c Public
    hipsleek/frama-c’s past year of commit activity
    OCaml 0 1 0 1 Updated Jul 24, 2024
  • sleekapi_example Public
    hipsleek/sleekapi_example’s past year of commit activity
    OCaml 0 0 1 0 Updated Jul 10, 2024
  • fixcalc Public
    hipsleek/fixcalc’s past year of commit activity
    Haskell 0 0 0 0 Updated Jul 8, 2024
  • omega_stub Public
    hipsleek/omega_stub’s past year of commit activity
    Haskell 0 0 0 0 Updated Jul 8, 2024

People

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

Top languages

Loading…

Most used topics

Loading…