Name: Jashank Jeremy
Type: User
Company: UNSW Sydney
Bio: student and tutor at UNSW.
programmer, sysadmin, unix wizard.
occasional photographer, typesetter.
puns. loud opinions.
(<https://gitlab.com/jashankj>)
Twitter: jashankj
Location: Sydney, Australia
Blog: https://jashankj.space/
Jashank Jeremy's Projects
The Rust package manager
Proof-Code Cogeneration
A custom context for colorful human oriented error reports via the eyre crate
some example solutions for previous/practice prac questions. these are not official solutions, use them at your own risk :)
Build a standalone copy of Chromium's GN tool (BROKEN)
tiny Rust HTTP server, powered by Hyper
Clone of isabelle, with LSP extensions in seperate branches
My Github page. You're probably looking in the wrong spot.
Test LSI behaviour in mojombo/jekyll with a large, mostly random post set
BSD-licensed 9P2000.u/.L server library
lsp-mode :heart: java
Like Solarized, but red
Minimalist feed reader written in Go ++ local patches for Kindle
NetBSD's mtree(8) utility
mtree: a utility for mapping and checking directory hierarchies (portable edition)
Network location switcher. [DEPRECATED]
A framework and engine for 2D tile based game development that relies heavily on metadata.
Original BSD history converted from CSRG's SCCS repository to Git (via SVN)
css files created from pygment's built-in styles
Empowering everyone to build reliable and efficient software.
Raw bindings to platform APIs for Rust
The seL4.systems website
Basic tools for building seL4 projects
typeset the Rust documentation (TRPL, RsNomicon, RsLangRef)
A book that teaches Vala
A TOML encoding/decoding library for Rust
Framework for Marshaling XML to Perl (moose) Classes and back.