CU Boulder PhD Student |
CUPLV Lab |
CWRU BA - 2022 |
Rust, Python, OCaml, Coq, Lean4 |
Linux, Neovim, Nix, Docker
-
-
-
-
-
-
flix-mode Public
Flix syntax highlighting, command execution, and repl integration
Emacs Lisp UpdatedJul 8, 2024 -
flix-module Public
Forked from doomemacs/doomemacsAn Emacs framework for the stubborn martian hacker with added flix :lang module
Emacs Lisp MIT License UpdatedJul 2, 2024 -
OCamlExercises Public
Slowly going to add unit tests for OCaml sample execises
-
-
-
-
-
-
cject Public
rject 'clone' in c++ to learn the basics of c++ project layout / design
C++ UpdatedJul 6, 2023 -
-
-
-
-
-
zig-mode Public
Forked from ziglang/zig-modeZig mode for Emacs
-
awesomeConfig Public
config for the awesomeWm burrowing some themes and hand rolling some
Lua UpdatedMay 19, 2022 -
dataBasesFinal Public
Final Project CSDS341
-
-
-
DApper-moved- Public
Dectentralized messenger / Comp Security Final project
JavaScript GNU General Public License v3.0 UpdatedDec 24, 2021 -
-
-
-
-
Tic-Tac-Toe-Demos Public
using tic-tac-toe as a first project in dart/ c++/ python
Dart UpdatedJan 2, 2021
Previous Next