Beast code in Giters

Bradly Ovitt's repositories

Algebra-Triads

Code I used to complete Algebra assignments.

Language:JavaScript010

BloksV1

A social media site I built over summer vacation. It kind of sucks.

Language:Scala010

CapitalReduction

A Dapp in Solidity for storing coupons.

Language:Solidity010

cats-parse

A parsing library for the cats ecosystem

Language:ScalaMIT000

dasOrganized

A web based chat application.

Language:HTML000

fhtml-DSL

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.

Language:Scala010

Fluidity

A programming language designed to be run on blockchains like javascript for the web.

Language:Zig000

Jetvista

A Scalajs UI Framework Based on Incremental Lambda Calculus

Language:Scala010

suicide

Suicide is a logic-based programming language with built in theorem proving capabilities.

Language:Scala010

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigMIT000

HHHotline

The HHH (Homework Help Hotline) front end website.

Language:JavaScript010

Ktedon

Config files for my GitHub profile.

010

playing-with-abella

Me just playing around with the Abella theorem prover.

Language:Standard ML010

radsecproxy

radsecproxy is a generic RADIUS proxy that supports both UDP and TLS (RadSec) RADIUS transports.

Language:CNOASSERTION000

ratpoison

ratpoison window manager with some fixes

GPL-2.0000