Pinned Repositories
agda-stdlib
The Agda standard library
alicorn-vscode-extension
VScode extension for Alicorn
Alicorn0
The Alicorn language, currently in early prototyping
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.
capnproto-scopes
capnp compiler plugin for Scopes and supporting Scopes library for accessing capnproto memory streams.
CSLbot
dotvim
My personal ~/.vim directory
home-jesin
Personal configuration, and other files from my home directory on the computers I use.
htop
htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.
yajl
A fast streaming JSON parsing library in C.
Jesin's Repositories
Jesin/CSLbot
Jesin/agda-stdlib
The Agda standard library
Jesin/alicorn-vscode-extension
VScode extension for Alicorn
Jesin/Alicorn0
The Alicorn language, currently in early prototyping
Jesin/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.
Jesin/capnproto-scopes
capnp compiler plugin for Scopes and supporting Scopes library for accessing capnproto memory streams.
Jesin/dotvim
My personal ~/.vim directory
Jesin/home-jesin
Personal configuration, and other files from my home directory on the computers I use.
Jesin/htop
htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.
Jesin/yajl
A fast streaming JSON parsing library in C.