Pinned Loading

1. Liqwid-Labs/agora Liqwid-Labs/agora Public

   Governance modules for Cardano protocols

   Haskell 52 19

2. embryo embryo Public

   Yet another lua compiler/vm

   C++ 4 1

3. dotfiles-v2 dotfiles-v2 Public

   Homelab configurations. Multiple NixOS hosts.

   Nix 1

4. mlabs-haskell/lambda-buffers mlabs-haskell/lambda-buffers Public

   LambdaBuffers toolkit for sharing types and their semantics between different languages

   Haskell 32 1

5. toy-rs toy-rs Public

   A lazy, untyped, functional programming. Aim to study how backend/runtime could be implemented for such languages.

   Rust 1