Jesin's repositories
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
alicorn-vscode-extension
VScode extension for Alicorn
Language:TypeScript000
Alicorn0
The Alicorn language, currently in early prototyping
Language:Lua000
capnp_import
Fetches official Cap-n-Proto compiler (capnp) releases and automatically compiles all capnp files in a set of folders, then combines them in a single capnp_include.rs file.
Language:C++Apache-2.0000
capnproto-scopes
capnp compiler plugin for Scopes and supporting Scopes library for accessing capnproto memory streams.
Language:ScalaApache-2.0000
dotvim
My personal ~/.vim directory
Language:Vim Script000
home-jesin
Personal configuration, and other files from my home directory on the computers I use.
Language:C000
htop
htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.
Language:CGPL-2.0000
yajl
A fast streaming JSON parsing library in C.
Language:CISC000