Pinned Repositories
a-few-logics
"A few species of logic" (slides for presentation)
copy-file-into-git
A simple working example of using gitlib.
egg-linux
A reproducible and self-reproducing Linux distribution; see wiki for status
graph
A small Clojure library for depth-first search and related algorithms.
logserver
An HTTP server that copies all POSTed data to a file.
notes-app
pentagon-slides
Some families of tilings by pentagons.
purescript-without-node
Nix setup for using Purescript without Nodejs
stebulus's Repositories
stebulus/egg-linux
A reproducible and self-reproducing Linux distribution; see wiki for status
stebulus/a-few-logics
"A few species of logic" (slides for presentation)
stebulus/copy-file-into-git
A simple working example of using gitlib.
stebulus/graph
A small Clojure library for depth-first search and related algorithms.
stebulus/logserver
An HTTP server that copies all POSTed data to a file.
stebulus/notes-app
stebulus/pentagon-slides
Some families of tilings by pentagons.
stebulus/purescript-without-node
Nix setup for using Purescript without Nodejs
stebulus/aalto-xml
Ultra-high performance non-blocking XML processor (Stax API + extensions)
stebulus/docker-thttpd
stebulus/egg-linux-build-reports
stebulus/enkidu
Software for producing geometric diagrams in LaTeX documents.
stebulus/fdfd
stebulus/gcc
stebulus/gmwanalysis
Machine-learning approach to model generation for gmwbot.
stebulus/gmwbot
A bot to play Guess My Word!
stebulus/hello-svc
stebulus/humbaba
stebulus/kcapw
K∩W: Intersections
stebulus/nixpkgs
Nix Packages collection
stebulus/parabola-links
stebulus/pentagon-toy
stebulus/petersen-graph
An attempt at a visualization of the Petersen graph.
stebulus/purescript-dom
Type definitions and standard effect for interacting with the DOM
stebulus/statement-on-lambdaconf.github.io
stebulus/tmp
stebulus/ualberta-math-stat-templates
Thesis, poster, and other templates for math and stats.
stebulus/vitt
stebulus/xscreensaver
A repository with all the versions of xscreensaver that mmehnert could find. A complete history down to version 1.21. If you happen to have something earlier than 1.21, please let me know :-) Many thanks go to Jamie Zawinski who provided versions mmehnert could no longer find.
stebulus/youdo
Task management for other people