Pinned Repositories
accord-ivy
The accord consensus protocol in ivy
Asciimatic
Edge detection-based ASCII art generator
Bandwortersplitter
Compound German word splitter
plcstub
QConNYC2016
Materials for my QCon NYC 2016 talk: "Beyond Breakpoints: A Tour Of Dynamic Analysis"
smrt
i am so smart
solvent
baby's first liquid type system
Surge2015
Materials for my Surge 2015 talk: "Racing To Win: Using Race Conditions to Build Correct and Concurrent Software"
vim-ivy
Vim syntax plugin for the IVy verification language
vim-plang
Vim syntax plugin for the P programming language.
dijkstracula's Repositories
dijkstracula/solvent
baby's first liquid type system
dijkstracula/vim-ivy
Vim syntax plugin for the IVy verification language
dijkstracula/smrt
i am so smart
dijkstracula/vim-plang
Vim syntax plugin for the P programming language.
dijkstracula/plcstub
dijkstracula/accord-ivy
The accord consensus protocol in ivy
dijkstracula/irving
there's no checking like bounded model checking
dijkstracula/macewan-cache
Material for Macewan CMPT 360 cache lectures
dijkstracula/recipes
things 2 eat
dijkstracula/beguine
ivy <-> java bridge
dijkstracula/bigtop-viz
Where you go to watch cartpoles
dijkstracula/dotfiles
dijkstracula/fp-lean
Functional Programming in Lean
dijkstracula/go-ilock
An intent lock.
dijkstracula/haibrid-viz
dijkstracula/higherorderpython
Higher Order Perl but in Python
dijkstracula/ivy-ts
tuplespaces in ivy
dijkstracula/ivydb
peeker-poker for ivy programs
dijkstracula/nvim
long live the new editor hotness
dijkstracula/pacldb
Pan-Dene Comparative Lexicon
dijkstracula/porter
Always True to You in My Fashion
dijkstracula/pprojexample
dijkstracula/prt
Java P runtime sandbox
dijkstracula/prtsandbox
Nathan's playground for experimenting with prt
dijkstracula/resume
dijkstracula/sedikle
baby's first SAT solver
dijkstracula/tethys-dashboard
Admin dashboard for the Tethys project.
dijkstracula/verified-isort
some verified insertion sorts for my DiRP
dijkstracula/vim-alloy
vim syntax for alloy analyzer
dijkstracula/website
under construction