Bradly Ovitt's Projects
Code I used to complete Algebra assignments.
A social media site I built over summer vacation. It kind of sucks.
A Dapp in Solidity for storing coupons.
A parsing library for the cats ecosystem
A web based chat application.
A Scala-based DSL that warns you when you use HTML tags or attributes that are not supported by all major browsers to ensure cross-browser compatibility.
A programming language designed to be run on blockchains like javascript for the web.
The HHH (Homework Help Hotline) front end website.
A Scalajs UI Framework Based on Incremental Lambda Calculus
Config files for my GitHub profile.
Me just playing around with the Abella theorem prover.
radsecproxy is a generic RADIUS proxy that supports both UDP and TLS (RadSec) RADIUS transports.
ratpoison window manager with some fixes
Suicide is a logic-based programming language with built in theorem proving capabilities.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.