Pinned Loading

1. Desbordante/desbordante-server Desbordante/desbordante-server Public

   Desbordante backend designed to reduce infrastructure overhead and speed up development process

   Python 5 2

2. Lambada Lambada Public

   Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

   OCaml 18 1