Popular repositories Loading

1. coqjvm coqjvm Public

   Coq executable semantics and resource verifier

   Coq 15 1

2. handlers-in-ott handlers-in-ott Public

   Effect handlers in Ott

   Coq 6 1

3. logmerge logmerge Public

   Merge log entries in order from several files

   OCaml 2

4. piperlog piperlog Public

   Log summary generator

   OCaml 2

5. setupenv setupenv Public

   Set up environment variables for an application installed in an arbitrary directory

   1 1

6. sato-maps-agda sato-maps-agda Public

   Agda 1 1