bajr

Pinned Repositories

bajrc-bot
A derpy IRC bot, in C.
Language:C01
bbc2019_bash
Language:Shell00
cookbook
some recipes
01
dot-vim
Language:Vim Script10
libsmt.rs
Rust Bindings to interact with SMTLIB2 compliant solvers
Language:Rust00
redmud
Language:Rust00
resume
Language:TeX00
resources
For publishing slides and stuff
3 3 02
rustproof
rust verification condition generator
Language:Rust93 14 1357

bajr's Repositories

bajr/dot-vim
Language:Vim Script10
bajr/bajrc-bot
A derpy IRC bot, in C.
Language:C01
bajr/bbc2019_bash
Language:Shell00
bajr/cookbook
some recipes
01
bajr/libsmt.rs
Rust Bindings to interact with SMTLIB2 compliant solvers
Language:Rust00
bajr/redmud
Language:Rust00
bajr/resume
Language:TeX00