Pinned Loading

1. hextech hextech Public

   A turn based dynamic strategy game written in Haskell (unfinished)

   Haskell 1

2. SDL.lean SDL.lean Public

   SDL2 bindings for lean

   Lean 23 5

3. Nix.lean Nix.lean Public

   Nix expressions and derivations in lean (in development)

   Lean 9

4. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 23.1k 17.8k

5. OpenSSL.lean OpenSSL.lean Public

   Forked from argumentcomputer/OpenSSL.lean

   OpenSSL bindings for Lean

   C

6. kodios kodios Public

   KodiOS - a fun little kernel written in Rust

   Rust 1