Pinned Repositories
Algebra-Triads
Code I used to complete Algebra assignments.
BloksV1
A social media site I built over summer vacation. It kind of sucks.
CapitalReduction
A Dapp in Solidity for storing coupons.
cats-parse
A parsing library for the cats ecosystem
dasOrganized
A web based chat application.
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.
Fluidity
A programming language designed to be run on blockchains like javascript for the web.
Jetvista
A Scalajs UI Framework Based on Incremental Lambda Calculus
suicide
Suicide is a logic-based programming language with built in theorem proving capabilities.
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Ktedon's Repositories
Ktedon/Algebra-Triads
Code I used to complete Algebra assignments.
Ktedon/BloksV1
A social media site I built over summer vacation. It kind of sucks.
Ktedon/CapitalReduction
A Dapp in Solidity for storing coupons.
Ktedon/cats-parse
A parsing library for the cats ecosystem
Ktedon/dasOrganized
A web based chat application.
Ktedon/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.
Ktedon/Fluidity
A programming language designed to be run on blockchains like javascript for the web.
Ktedon/Jetvista
A Scalajs UI Framework Based on Incremental Lambda Calculus
Ktedon/suicide
Suicide is a logic-based programming language with built in theorem proving capabilities.
Ktedon/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Ktedon/HHHotline
The HHH (Homework Help Hotline) front end website.
Ktedon/Ktedon
Config files for my GitHub profile.
Ktedon/playing-with-abella
Me just playing around with the Abella theorem prover.
Ktedon/radsecproxy
radsecproxy is a generic RADIUS proxy that supports both UDP and TLS (RadSec) RADIUS transports.
Ktedon/ratpoison
ratpoison window manager with some fixes