Pinned Loading

1. 2-groups-agda 2-groups-agda Public

   Mechanized classifications of 2-groups

   Agda 10

2. colimits-agda colimits-agda Public

   Formal proofs related to coslice colimits and 2-coherent left adjoints

   Agda 7

3. convopt-rust convopt-rust Public

   Semidefinite programming in Rust

   Rust 4

4. riskparity-rust riskparity-rust Public

   Risk parity portfolio computation in Rust

   Rust

5. DFA-minimization-sml DFA-minimization-sml Public

   A modern implementation of Hopcroft's algorithm

   Standard ML

6. monadic-parser-ocaml monadic-parser-ocaml Public

   A monadic parser for arithmetic expressions

   OCaml