Popular repositories Loading

1. rsL4 rsL4 Public

   An embedded operating system built on seL4 in the Rust language.

   Rust 15 3

2. open-adt open-adt Public

   Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.

   Haskell 4 1

3. jmw-nix jmw-nix Public

   Nix 1

4. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

5. jmw-home jmw-home Public

   Nix

6. Jael Jael Public

   The JAEL Language is a "high-level" language that explores new ways to program low-level, bare-metal, embedded systems.

   Haskell 1