Baricus

Baricus's repositories

A Spelunky 2 True Crown timer that does not require game modification.

Language:PythonMIT1 20

Hopefully this makes "Proficient in LaTeX" self explanatory

Language:TeXGPL-3.01 10

Abuses SSH public key auth flow to search for machines that accept a public key for login

Language:RustAGPL-3.01 10

A twitch bot written from the socket level in C++

Language:C++AGPL-3.0010

A tiny conditionally compliant HTTP/1.1 server

Language:HaskellAGPL-3.0010

A parser and analyzer for Splatoon 3 Salmon Run statistics output via nxapi

Language:HaskellAGPL-3.0010

A toy concatenative language

Language:OCaml010

Experimental attempts at using the approach of Reloc between compcert C (via VST) and heap_lang

Language:Coq010

Visual Studio Code extension for clangd

Language:TypeScriptMIT000