keltono

Dork

Minneapolis, Minnesota

Pinned Repositories

website
ACM Website
Language:SCSS7 14 98
mu2
Mutation-guided mutation-based fuzz testing
Language:Java42 2 326
DoenetTools
Language:JavaScript15 5 46829
copper
An integrated context-aware scanner and parser generator
Language:Java00
DoenetTools
Language:JavaScript0 1 00
dotfiles
my personal dotfiles.
Language:Shell00
Hasus
An Eager, Purely functional programming language with parametric polymorphism
Language:Haskell00
keltono
00
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda1.3k 23 254302

keltono's Repositories

keltono/copper
An integrated context-aware scanner and parser generator
Language:Java00
keltono/DoenetTools
Language:JavaScript0 1 00
keltono/dotfiles
my personal dotfiles.
Language:Shell00
keltono/Hasus
An Eager, Purely functional programming language with parametric polymorphism
Language:Haskell00
keltono/keltono
00
keltono/keltono.github.io
1 0
keltono/ksend
A dead simple file uploader written with flask, using nginx as a backend
Language:Python2 0
keltono/plfa.github.io
An introduction to programming language theory in Agda
Language:HTML1 0
keltono/Snow
Language:JavaScript1 0
keltono/sort-benchmarks
Simple programs for running mutation analysis experiments,
Language:Java
keltono/stsh
A fully functional (soon to be structured) shell
Language:Rust
keltono/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.