-
-
-
suicide Public
Suicide is a logic-based programming language with built in theorem proving capabilities.
Scala UpdatedMar 15, 2022 -
-
playing-with-abella Public
Me just playing around with the Abella theorem prover.
Standard ML UpdatedMar 7, 2022 -
-
Jetvista Public
A Scalajs UI Framework Based on Incremental Lambda Calculus
-
Fluidity Public
A programming language designed to be run on blockchains like javascript for the web.
Zig UpdatedMar 3, 2022 -
fhtml-DSL Public
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.
-
zig Public
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Zig MIT License UpdatedFeb 13, 2022 -
cats-parse Public
Forked from typelevel/cats-parseA parsing library for the cats ecosystem
Scala MIT License UpdatedJan 21, 2022 -
radsecproxy Public
Forked from radsecproxy/radsecproxyradsecproxy is a generic RADIUS proxy that supports both UDP and TLS (RadSec) RADIUS transports.
C Other UpdatedOct 29, 2021 -
BloksV1 Public archive
A social media site I built over summer vacation. It kind of sucks.
Scala UpdatedOct 21, 2021 -
-
ratpoison Public
Forked from dimatura/ratpoisonratpoison window manager with some fixes
C GNU General Public License v2.0 UpdatedJun 21, 2019
{{ message }}