Pinned Repositories
abm-client
abm-server
babylon-node-materials
elm-starter
A simple Elm starter project
emacs-config
My Emacs configuration
eoc
Toy compiler for a Scheme-like language implemented in Rust. Based off of IU's Essential's of Compilation.
eoc-hs
Toy compiler for a Scheme-like language implemented in Haskell. Based off of IU's Essential's of Compilation.
eoc-rkt
Toy compiler for a Scheme-like language implemented in Racket. Based off of IU's Essential's of Compilation.
glitch_img
hello-trace
patrickcsullivan's Repositories
patrickcsullivan/eoc
Toy compiler for a Scheme-like language implemented in Rust. Based off of IU's Essential's of Compilation.
patrickcsullivan/abm-client
patrickcsullivan/abm-server
patrickcsullivan/babylon-node-materials
patrickcsullivan/elm-starter
A simple Elm starter project
patrickcsullivan/emacs-config
My Emacs configuration
patrickcsullivan/eoc-hs
Toy compiler for a Scheme-like language implemented in Haskell. Based off of IU's Essential's of Compilation.
patrickcsullivan/eoc-rkt
Toy compiler for a Scheme-like language implemented in Racket. Based off of IU's Essential's of Compilation.
patrickcsullivan/glitch_img
patrickcsullivan/hello-trace
patrickcsullivan/hprolog
Small Prolog implementation in Haskell
patrickcsullivan/job_orch
patrickcsullivan/logic-lang
A logic programming language that generates Herbrand functional logic resolution proofs.
patrickcsullivan/map-creator
map creator for ABM simulations
patrickcsullivan/microkanren-hs
patrickcsullivan/nav_game
Navigate through the city map using direction phrases.
patrickcsullivan/nn_cuda
patrickcsullivan/openobserve
🚀 10x easier, 🚀 140x lower storage cost, 🚀 high performance, 🚀 petabyte scale - Elasticsearch/Splunk/Datadog alternative for 🚀 (logs, metrics, traces, RUM, Error tracking, Session replay).
patrickcsullivan/part_renderer
patrickcsullivan/part_viewer
Tool for taking screenshots of 3D parts.
patrickcsullivan/pbr
Physically Based Renderer
patrickcsullivan/plar-lang
Languages from Handbook of Practical Logic and Automated Reasoning
patrickcsullivan/programming-class
Programming Class
patrickcsullivan/renderer
A collection of 3D rendering libraries and binaries
patrickcsullivan/simulation
patrickcsullivan/tapl
Interpreter for a programming language that explores type systems. Based off of Pierce's Types and Programming Langueages.
patrickcsullivan/uniform_grid
patrickcsullivan/wasm-game-of-life