Popular repositories Loading

1. purescript-optic-ui purescript-optic-ui Public

   PureScript UI framework based on lenses.

   PureScript 122 10

2. Hydrogen Hydrogen Public

   Intermediate loader for AMD64 kernels. C rewrite of HydrogenLegacy.

   C 27 4

3. afp afp Public

   Angewandte Funktionale Programmierung

   Haskell 15 2

4. Carbon Carbon Public

   AMD64 Microkernel.

   C 6

5. pylon pylon Public

   Bytecode backend for typed functional programming languages.

   Haskell 6

6. HydrogenLegacy HydrogenLegacy Public

   Proof of concept for an intermediate AMD64 bootloader. Discontinued in favor of production implementation (Hydrogen).

   Assembly 3 1