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/derive-it
A Typst package to create Fitch-style natural deductions.
0rphee/schedule-maker
0rphee/dotfiles
0rphee/helix-themes
my helix themes
0rphee/asmh
assembler for the i8086 chip
0rphee/bda-dashboard
0rphee/class-scheduler
0rphee/dw-bot
0rphee/dw-portfolio
Portafolio parte del proyecto 1 de la clase de Desarrollo Web
0rphee/elm-guide
0rphee/flatparse
Fast parsing from bytestrings
0rphee/helix
A post-modern modal text editor.
0rphee/ia-vuelos
0rphee/img-to-ascii
0rphee/kak-config
my kakoune config
0rphee/logic
proofs from carnap.io
0rphee/nyoom
A small Firefox userchrome manager
0rphee/odin-calculator
0rphee/odin-etch-a-sketch
0rphee/opt-env-conf
0rphee/packages
Packages for Typst.
0rphee/pract-nessus
0rphee/prop-logic-paevty
parse propositional logic sentences, evaluate them and create truth-tables for typst
0rphee/proy-bda-frontend
0rphee/purescript-data-default
Default values for PureScript types
0rphee/purescript-icalendar
0rphee/taki
my attempt on building a linux launcher, inspired by raycast, and based (?) on anyrun
0rphee/theodinproject
0rphee/up
A mirror of: https://codeberg.org/0rphee/up
0rphee/xolsh