Pinned Repositories
urweb
The Ur/Web programming language
CameraTest
FRC Team 125 tries to get camera tracking happening!
Darjeelang
A programming language in which function arguments can be given in any order.
LaTeX-prelude
Personal LaTeX style file.
Nutrons2012
Code for FIRST Robotics Competition (FRC) Team 125's 2012 robot.
sqlcache-bench
Benchmarking scripts for Ur/Web's Sqlcache feature.
Twocan
A statically typed purely functional language with type-inferred recursive polymorphic variants.
UrLib
Useful Ur/Web functions.
vizziv's Repositories
vizziv/Nutrons2012
Code for FIRST Robotics Competition (FRC) Team 125's 2012 robot.
vizziv/UrLib
Useful Ur/Web functions.
vizziv/CameraTest
FRC Team 125 tries to get camera tracking happening!
vizziv/sqlcache-bench
Benchmarking scripts for Ur/Web's Sqlcache feature.
vizziv/Twocan
A statically typed purely functional language with type-inferred recursive polymorphic variants.
vizziv/Darjeelang
A programming language in which function arguments can be given in any order.
vizziv/LaTeX-prelude
Personal LaTeX style file.
vizziv/Dwimiykwim
Dwimiykwim is a Scheme-like language that uses documentation-like programmer-supplied annotations to infer what arguments to pass most functions. See demo.scm for an example that extends an arithmetic interpreter with let bindings without needing to change code for the existing cases.
vizziv/EmacsConfig
Ziv's Emacs configuration.
vizziv/email
Sending e-mail from Ur/Web
vizziv/FPMadOP
Framework for programming FRC robots in Java in a style reminiscent of functional programming and block diagrams.
vizziv/free-lunch-theorem
vizziv/ICFP2013
ESPhunctional Programmers have a go at ICFP 2013!
vizziv/neuron
Future-proof and simple-to-use notes system based on Zettelkasten.
vizziv/qsim
Simulator for queueing systems
vizziv/Resistance
A web app for playing The Resistance. Written in Ur/Web.
vizziv/upo
The Ur/Web People Organizer
vizziv/urweb
The Ur/Web programming language
vizziv/WordsWordsWords