Pinned Repositories
agda-sequent-calculus
Some Sequent Calculus with Agda
another_ray_cast_project
artsenio-tester
The arseyio tester, but with a modified keyboard layout
asmep
An assembler for the third program exercise (EP) of Boolean Algebra
automaton_lean
Some lean4 training with automatons
bluetooth-server
bridge-lang
A different interepretation of purity
cc65
cc65 - a freeware C compiler for 6502 based systems
clj-kondo
Static analyzer and linter for Clojure code that sparks joy
nes-sort
A sorting visualizer for the NES
cosineblast's Repositories
cosineblast/bridge-lang
A different interepretation of purity
cosineblast/nes-sort
A sorting visualizer for the NES
cosineblast/agda-sequent-calculus
Some Sequent Calculus with Agda
cosineblast/another_ray_cast_project
cosineblast/artsenio-tester
The arseyio tester, but with a modified keyboard layout
cosineblast/asmep
An assembler for the third program exercise (EP) of Boolean Algebra
cosineblast/automaton_lean
Some lean4 training with automatons
cosineblast/bluetooth-server
cosineblast/cc65
cc65 - a freeware C compiler for 6502 based systems
cosineblast/clj-kondo
Static analyzer and linter for Clojure code that sparks joy
cosineblast/cosineblast
cosineblast/elm-bigint
An elm implementation of the BigInt paradigm.
cosineblast/lisp-attempt-1
A rudimentary attempt at making a lisp.
cosineblast/logisim-evolution
Digital logic design tool and simulator
cosineblast/nix-java-introcs
A simple nix flake for java-introcs
cosineblast/haskell-flake
A `flake-parts` Nix module for Haskell development
cosineblast/JosephBluetooth
cosineblast/lisp-attempt-2
cosineblast/lsat-py
cosineblast/nix-llvm-mos-sdk-bin
A simple nix flake for llvm-mos-sdk binaries
cosineblast/nushell
A new type of shell
cosineblast/PuzzleWarp
cosineblast/ralsei-gen
Tables for ralsei-nes
cosineblast/ralsei-nes
My introduction to NES 6502
cosineblast/random-user-frontend-clone
A partial clone of the frontend of https://randomuser.me/
cosineblast/simple-devshell-flake
A simple nix flake with devShell
cosineblast/wikigraph
A Wikipedia graph server project