Pinned Repositories
applications-rs
asmh
assembler for the i8086 chip
baby-lisp
bda-dashboard
derive-it
A Typst package to create Fitch-style natural deductions.
dotfiles
helix-themes
my helix themes
ProyectoFinal
schedule-maker
ticket-cpp
0rphee's Repositories
0rphee/odin-rock-paper-scissors
0rphee/odin-javascript-exercises
0rphee/odin-foundations-landing-page
0rphee/kakship
Thin wrapper around starship.rs to format kakoune status line
0rphee/applications-rs
0rphee/rust-book
following: https://rust-book.cs.brown.edu/
0rphee/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
0rphee/cmulador
0rphee/odin-recipes
0rphee/stan
🕵️ Haskell STatic ANalyser
0rphee/trial
⚖️ Trial Data Type
0rphee/odin-css-exercises
0rphee/iCalendar
iCalendar data types, parser, and printer.
0rphee/ticket-cpp
0rphee/yi
The Haskell-Scriptable Editor
0rphee/classtime-matcher
0rphee/curso-unity
0rphee/stack-lang-interpreter
0rphee/baby-lisp
0rphee/brainhuck
My implementation of a brainfuck interpreter in Haskell.
0rphee/my-blog-gen
0rphee/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
0rphee/Haskell-Programming-From-First-Principles
0rphee/Text-Generator-GUI
0rphee/Project-Euler-100
0rphee/ProyectoFinal
0rphee/helix-theme-template
A template document for writing themes for the helix editor.
0rphee/DwarfTherapist-filtering-scripts
My scripts to filter dwarves in the DwarfTherapist Utility
0rphee/ohmyzsh-theme-passion
An oh-my-zsh theme.
0rphee/Get-Programming-With-Haskell