jashank
student and tutor at UNSW. programmer, sysadmin, unix wizard. occasional photographer, typesetter. puns. loud opinions. (<https://gitlab.com/jashankj>)
UNSW SydneySydney, Australia
Pinned Repositories
gn-stand
Build a standalone copy of Chromium's GN tool (BROKEN)
jekyll-lsi-test
Test LSI behaviour in mojombo/jekyll with a large, mostly random post set
tarpaulin
typeset the Rust documentation (TRPL, RsNomicon, RsLangRef)
zfsweb
Web-based ZFS snapshot browser. [DEPRECATED]
jashank's Repositories
jashank/zfsweb
Web-based ZFS snapshot browser. [DEPRECATED]
jashank/gn-stand
Build a standalone copy of Chromium's GN tool (BROKEN)
jashank/tarpaulin
typeset the Rust documentation (TRPL, RsNomicon, RsLangRef)
jashank/jekyll-lsi-test
Test LSI behaviour in mojombo/jekyll with a large, mostly random post set
jashank/cargo
The Rust package manager
jashank/cogent
Proof-Code Cogeneration
jashank/color-eyre
A custom context for colorful human oriented error reports via the eyre crate
jashank/constitution
jashank/cs1927-prac-solutions
some example solutions for previous/practice prac questions. these are not official solutions, use them at your own risk :)
jashank/hyttpd-rust
tiny Rust HTTP server, powered by Hyper
jashank/isabelle-release
Clone of isabelle, with LSP extensions in seperate branches
jashank/jashank.github.io
My Github page. You're probably looking in the wrong spot.
jashank/lib9p
BSD-licensed 9P2000.u/.L server library
jashank/lsp-java
lsp-mode :heart: java
jashank/lunarized-emacs
Like Solarized, but red
jashank/miniflux
Minimalist feed reader written in Go ++ local patches for Kindle
jashank/mtree-netbsd
NetBSD's mtree(8) utility
jashank/mtree-portable
mtree: a utility for mapping and checking directory hierarchies (portable edition)
jashank/netswitcher
Network location switcher. [DEPRECATED]
jashank/original-bsd
Original BSD history converted from CSRG's SCCS repository to Git (via SVN)
jashank/pygments-css
css files created from pygment's built-in styles
jashank/rust
Empowering everyone to build reliable and efficient software.
jashank/rust-lang-libc
Raw bindings to platform APIs for Rust
jashank/sel4-musllibc
jashank/sel4-systems-website
The seL4.systems website
jashank/seL4_tools
Basic tools for building seL4 projects
jashank/The-Vala-Guide
A book that teaches Vala
jashank/toml-rs
A TOML encoding/decoding library for Rust
jashank/xml-toolkit
Framework for Marshaling XML to Perl (moose) Classes and back.
jashank/y