Pinned Loading

1. cl-welearn cl-welearn Public

   (cons we (cons love (cons english nil)

   Common Lisp 2

2. os2024 os2024 Public

   spaghetti code at its finest.

   OCaml

3. moonbitlang/core moonbitlang/core Public

   MoonBit's Core library

   MoonBit 1.1k 150

4. moonbitlang/moon moonbitlang/moon Public

   The build system and package manager for MoonBit

   Rust 392 51

5. tigris tigris Public

   a language of the ML family

   Lean 2

6. lazylist lazylist Public

   a semi-verified lazylist implementation with Haskellesque comprehension macros.

   Lean