Pinned Loading

1. opal opal Public

   A statically-typed programming language that compiles to LLVM bytecode

   Haskell 8

2. nixos-config nixos-config Public

   My NixOS configuration

   Nix 6

3. bf bf Public

   A brainfuck interpreter written in Haskell

   Haskell 1

4. iris-lang iris-lang Public

   A simple, statically-typed programming language

   Haskell 17