jashank Goto Github PK

cargo

The Rust package manager

cogent

Proof-Code Cogeneration

color-eyre

A custom context for colorful human oriented error reports via the eyre crate

constitution

cs1927-prac-solutions

some example solutions for previous/practice prac questions. these are not official solutions, use them at your own risk :)

gn-stand

Build a standalone copy of Chromium's GN tool (BROKEN)

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.

jekyll-lsi-test

Test LSI behaviour in mojombo/jekyll with a large, mostly random post set

lib9p

BSD-licensed 9P2000.u/.L server library

lsp-java

lsp-mode :heart: java

lunarized-emacs

Like Solarized, but red

miniflux

Minimalist feed reader written in Go ++ local patches for Kindle

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]

nt-engine

A framework and engine for 2D tile based game development that relies heavily on metadata.

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

Empowering everyone to build reliable and efficient software.

rust-lang-libc

Raw bindings to platform APIs for Rust

sel4-musllibc

sel4-systems-website

The seL4.systems website

sel4_tools

Basic tools for building seL4 projects

tarpaulin

typeset the Rust documentation (TRPL, RsNomicon, RsLangRef)

the-vala-guide

A book that teaches Vala

toml-rs

A TOML encoding/decoding library for Rust

xml-toolkit

Framework for Marshaling XML to Perl (moose) Classes and back.

y