pedrominicz

Human/programming language enthusiast.

Pinned Repositories

m8080
Cycle-accurate Intel 8080 emulator library. Examples include Space Invaders, a debugger, and a disassembler.
Language:C2 1 00
magda
Magda: Minimal Agda mode for Neovim
Language:Vim Script5 2 02
mios
Test operating system with higher-half kernel, multiple user mode "processes," and system calls.
Language:C3 1 00
sugar
Simply Typed Lambda Calculus with Hindley-Milner type inference and fixed-point recursion.
Language:Haskell0 2 00

pedrominicz's Repositories

pedrominicz/magda
Magda: Minimal Agda mode for Neovim
Language:Vim Script5 2 02
pedrominicz/mios
Test operating system with higher-half kernel, multiple user mode "processes," and system calls.
Language:C3 1 00
pedrominicz/m8080
Cycle-accurate Intel 8080 emulator library. Examples include Space Invaders, a debugger, and a disassembler.
Language:C2 1 00
pedrominicz/comp
Toy compilers and interpreters.
Language:Haskell1 2 00
pedrominicz/focus
A simple Neovim color scheme
Language:Vim Script1 2 0
pedrominicz/learn
Miscellaneous proofs made while learning and practicing Lean.
Language:Lean1
pedrominicz/logic
Language:Lean1 2 0
pedrominicz/pedrominicz.github.io
Language:HTML1 2 01
pedrominicz/tt
Type Theory.
Language:Haskell1 2 0
pedrominicz/sugar
Simply Typed Lambda Calculus with Hindley-Milner type inference and fixed-point recursion.
Language:Haskell0 2 00
pedrominicz/freedom
A book sharing website made with Laravel.
Language:PHP1
pedrominicz/fun
Language:Haskell2 0
pedrominicz/gestao-de-ti
Language:HTML1 0
pedrominicz/karen
Language:Haskell2 0
pedrominicz/kvm
Language:C2 0
pedrominicz/mm
Language:Rust2 0
pedrominicz/semi
Semihemidemisemiquaver: a text bulletin board website made with Spring and Vue.js.
Language:Java
pedrominicz/study
Language:C1 0