Pinned Loading

1. oxsat oxsat Public

   oxcaml sat solver and accompanying data structures

   OCaml 1

2. nod nod Public

   SSA IR and backend for arm64/x86_64

   OCaml 1

3. pror pror Public

   simple CDCL sat solver

   Rust 1

4. el2 el2 Public

   Compiler for HM typed language with C-like semantics

   OCaml 7

5. gc_rs gc_rs Public

   Mark and sweep garbage collector using rust traits for a nice api

   Rust 4

6. resum resum Public

   A library for multi shot coroutines in rust

   Rust