Pinned Repositories
afp
Angewandte Funktionale Programmierung
Carbon
AMD64 Microkernel.
Hydrogen
Intermediate loader for AMD64 kernels. C rewrite of HydrogenLegacy.
HydrogenLegacy
Proof of concept for an intermediate AMD64 bootloader. Discontinued in favor of production implementation (Hydrogen).
Oxygen
AMD64 Microkernel (Deprecated in favor of Carbon)
purescript-markup-incdom
Incremental DOM rendering backend for `purescript-markup`.
purescript-monad-fix
MonadFix for purescript.
purescript-optic-ui
PureScript UI framework based on lenses.
pylon
Bytecode backend for typed functional programming languages.
zrho's Repositories
zrho/purescript-optic-ui
PureScript UI framework based on lenses.
zrho/Hydrogen
Intermediate loader for AMD64 kernels. C rewrite of HydrogenLegacy.
zrho/afp
Angewandte Funktionale Programmierung
zrho/Carbon
AMD64 Microkernel.
zrho/pylon
Bytecode backend for typed functional programming languages.
zrho/HydrogenLegacy
Proof of concept for an intermediate AMD64 bootloader. Discontinued in favor of production implementation (Hydrogen).
zrho/purescript-monad-fix
MonadFix for purescript.
zrho/Oxygen
AMD64 Microkernel (Deprecated in favor of Carbon)
zrho/purescript-markup-incdom
Incremental DOM rendering backend for `purescript-markup`.
zrho/bs-minilp
ReasonML bindings to the Rust minilp linear program solver.
zrho/homotopy-core
Rewritten homotopy-core
zrho/homotopy-core-ml-experiment
Experimal OCaml Implementation of the core of homotopy.io.
zrho/LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
zrho/libra-types
zrho/portgraph
zrho/purescript-coproducts
Coproducts
zrho/purescript-functors
Constructions on functors
zrho/purescript-markup
Data type for constructing markup trees rendered in the browser.
zrho/purescript-profunctor
Profunctor typeclass
zrho/purescript-profunctor-lenses
Pure profunctor lenses
zrho/rust-minilp
JavaScript bindings to the Rust minilp linear program solver.
zrho/slab
Slab allocator for Rust
zrho/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
zrho/weld
High-performance runtime for data analytics applications