-
-
hermit Public
Static information flow control for Rust via dynamic epistemic logic.
Rust MIT License UpdatedMar 17, 2025 -
dotfiles Public
Dotfiles for my Linux machines.
Shell GNU General Public License v3.0 UpdatedMar 4, 2025 -
cabal-foreign-library Public
Build and link a Cabal foreign-library to a Rust crate
Rust Apache License 2.0 UpdatedNov 11, 2024 -
-
-
-
-
-
wikichan Public archive
A WebExtension and userscript that displays information from Wikipedia and other sources in a popup for the hovered text.
TypeScript GNU General Public License v3.0 UpdatedOct 6, 2023 -
stonky-kong Public archive
A dynamic browser game made for Blueprint 2020
JavaScript MIT License UpdatedJan 7, 2023 -
shelf Public
Dotfiles package manager, undergoing rewrite!
Rust GNU General Public License v3.0 UpdatedDec 1, 2022 -
-
textenc Public archive
A presentation on text encoding and Unicode.
-
webext101 Public archive
Workshop in creating a tiny browser extension.
-
intro-compilers Public archive
Short presentation that provides a surface-level understanding of compiler architecture (stogacs).
-
ttweb Public archive
A brief workshop to create a tiny web API using Flask (stogacs).
-
basicfp Public archive
A presentation / exercise in iterators in imperative programming languages (stogacs).
-
moldws Public archive
Web development workshop.
-
beamerfw Public archive
Beamer project template with support for multiple build methods.
-
hazelc-icfp22-slides Public archive
Slides of the hazelc project for the ICFP'22 student research competition
TeX UpdatedSep 13, 2022 -
hazelc-icfp22-poster Public archive
Poster of the hazelc project for the ICFP'22 student research competition.
TeX UpdatedSep 7, 2022 -
fetch Public archive
Rock-inspired query-based compiler architecture library.
-
-
kcfa Public archive
0-CFA and k-CFA implementation for small functional language.
-
-
-
-
beets-playlistc Public
A simple beets plugin for creating playlists.
-
regexp2 Public
Toy regular expressions implementation using finite automata.
Rust Apache License 2.0 UpdatedMay 26, 2022
{{ message }}