Jashank Jeremy's repositories
jekyll-lsi-test
Test LSI behaviour in mojombo/jekyll with a large, mostly random post set
color-eyre
A custom context for colorful human oriented error reports via the eyre crate
cs1927-prac-solutions
some example solutions for previous/practice prac questions. these are not official solutions, use them at your own risk :)
hyttpd-rust
tiny Rust HTTP server, powered by Hyper
isabelle-release
Clone of isabelle, with LSP extensions in seperate branches
jashank.github.io
My Github page. You're probably looking in the wrong spot.
lib9p
BSD-licensed 9P2000.u/.L server library
lunarized-emacs
Like Solarized, but red
mtree-netbsd
NetBSD's mtree(8) utility
mtree-portable
mtree: a utility for mapping and checking directory hierarchies (portable edition)
netswitcher
Network location switcher. [DEPRECATED]
original-bsd
Original BSD history converted from CSRG's SCCS repository to Git (via SVN)
pygments-css
css files created from pygment's built-in styles
rust-lang-libc
Raw bindings to platform APIs for Rust
sel4-systems-website
The seL4.systems website
seL4_tools
Basic tools for building seL4 projects
The-Vala-Guide
A book that teaches Vala
xml-toolkit
Framework for Marshaling XML to Perl (moose) Classes and back.