0rphee
Languages
Top Repositories
A Typst package to create Fitch-style natural deductions.
A complete Haskell implementation of lox (jlox) from the Crafting Interpreters Book with an online playground: https://0rphee.github.io/xolsh/.
assembler for the i8086 chip (x86_16)
Repositories
86No description provided.
assembler for the i8086 chip (x86_16)
No description provided.
lox bytecode interpreter in zig
A complete Haskell implementation of lox (jlox) from the Crafting Interpreters Book with an online playground: https://0rphee.github.io/xolsh/.
A Typst package to create Fitch-style natural deductions.
No description provided.
No description provided.
No description provided.
A simple, online, minimal, keyboard-centered Firefox CSS theme.
Packages for Typst.
No description provided.
Scheme interpreter in lean4
Applicative option parser
Library for dealing with system processes
Solutions to elixir-koans
🕵️ Haskell STatic ANalyser
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Portafolio parte del proyecto 1 de la clase de Desarrollo Web
No description provided.
No description provided.
No description provided.
Stream directory entries in constant memory in vanilla IO
✨ Finder Toolbar app for macOS to open the current directory in Terminal, iTerm, Hyper or Alacritty.
A post-modern modal text editor.
No description provided.
Default values for PureScript types
No description provided.
No description provided.
proofs from carnap.io