Pinned Repositories
a-os
A RISC-V research OS to explore programming with theorem prover
aos
Applied operating system - an operating system kernel written in the ATS programming language.
ATS-Anairiats
Hosting ATS-Anairiats at Github
effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
es
Es: A shell with higher-order functions
house-os
Haskell Operating System
Idris2
A purely functional programming language with first class types
Idris2-Effect
Experimental effects library for Idris 2
pi-os
A RISC-V research OS to explore depending types and OS dev
plan9
Plan 9 History, from 1992-09-21 to 2015-01-10.
rafaelRiv's Repositories
rafaelRiv/pi-os
A RISC-V research OS to explore depending types and OS dev
rafaelRiv/a-os
A RISC-V research OS to explore programming with theorem prover
rafaelRiv/aos
Applied operating system - an operating system kernel written in the ATS programming language.
rafaelRiv/ATS-Anairiats
Hosting ATS-Anairiats at Github
rafaelRiv/effectful
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
rafaelRiv/es
Es: A shell with higher-order functions
rafaelRiv/house-os
Haskell Operating System
rafaelRiv/Idris2
A purely functional programming language with first class types
rafaelRiv/Idris2-Effect
Experimental effects library for Idris 2
rafaelRiv/plan9
Plan 9 History, from 1992-09-21 to 2015-01-10.
rafaelRiv/learning
Learning notes
rafaelRiv/nvim-config
=
rafaelRiv/opencascade-hs
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
rafaelRiv/osblog
The Adventures of OS
rafaelRiv/piblog
A blog exploring os dev and depending types
rafaelRiv/qio
rafaelRiv/r-os
An OS following Stephen Marz: Blog
rafaelRiv/r9
The R9 operating system
rafaelRiv/rafaelRiv
rafaelRiv/SPLV20
SPLV20 course notes
rafaelRiv/TinyIdris
Experiment with Edwin TinyIdris
rafaelRiv/wlhs
Haskell bindings to wlroots (and libwayland)