dijkstracula

followers

following

stars

Austin, TX

cs.utexas.edu/~ntaylor/

Organizations

UBC-NSS

Nathan Taylor's repositories

solvent

baby's first liquid type system

Language:PythonAGPL-3.0800

vim-ivy

Vim syntax plugin for the IVy verification language

Language:Vim ScriptMIT600

smrt

i am so smart

Language:DafnyAGPL-3.0400

vim-plang

Vim syntax plugin for the P programming language.

Language:Vim scriptMIT3 30

plcstub

Language:C200

accord-ivy

The accord consensus protocol in ivy

Language:Shell100

irving

there's no checking like bounded model checking

Language:RustAGPL-3.0100

macewan-cache

Material for Macewan CMPT 360 cache lectures

Language:CUnlicense100

recipes

things 2 eat

Language:Python100

beguine

ivy <-> java bridge

Language:ScalaAGPL-3.0000

bigtop-viz

Where you go to watch cartpoles

Language:TypeScript000

dotfiles

000

fp-lean

Functional Programming in Lean

NOASSERTION000

go-ilock

An intent lock.

Language:Go000

haibrid-viz

Language:TypeScript000

higherorderpython

Higher Order Perl but in Python

Language:Python000

ivy-ts

tuplespaces in ivy

Language:Shell000

ivydb

peeker-poker for ivy programs

Language:Python000

nvim

long live the new editor hotness

Language:Lua000

pacldb

Pan-Dene Comparative Lexicon

Language:Python000

porter

Always True to You in My Fashion

Language:PythonAGPL-3.0000

pprojexample

Language:Java000

prt

Java P runtime sandbox

Language:JavaMIT000

prtsandbox

Nathan's playground for experimenting with prt

Language:Java000

resume

Language:HTML000

sedikle

baby's first SAT solver

Language:Rust000

tethys-dashboard

Admin dashboard for the Tethys project.

Language:TypeScript030

verified-isort

some verified insertion sorts for my DiRP

Language:Dafny000

vim-alloy

vim syntax for alloy analyzer

Language:Vim Script000

website

under construction

Language:SCSS030