Pinned Repositories
RelRL
Relational region logic verification tool
4rpr-manipulator
Kinematic analysis of a planar 4-RPR manipulator.
dots
Configuration files
flappingwing-animation
Simple animation of an ornithopter like mechanism (animation made using solution of the forward kinematics for the mechanism)
p9acme-util
Various utilities for working with Plan9's Acme editor
toy
Small DSL for CAD
rnagasam's Repositories
rnagasam/p9acme-util
Various utilities for working with Plan9's Acme editor
rnagasam/4rpr-manipulator
Kinematic analysis of a planar 4-RPR manipulator.
rnagasam/dots
Configuration files
rnagasam/flappingwing-animation
Simple animation of an ornithopter like mechanism (animation made using solution of the forward kinematics for the mechanism)
rnagasam/toy
Small DSL for CAD
rnagasam/BioScape-L
pi-calculus with spatial locations
rnagasam/cypress
Cypress @ Stevens website
rnagasam/dpt-mode
Utility to interact with Sony's DPT RP1 from emacs
rnagasam/i3-config
My i3 config
rnagasam/opam-repository
Main public package repository for opam, the source package manager of OCaml.
rnagasam/oplss-notes-2019
Notes and handouts from OPLSS 2019
rnagasam/qw
few programs in scheme
rnagasam/rnagasam.github.io
rnagasam/sish
simple shell
rnagasam/sitdesign
website for research under prof. Jeffrey Nickerson
rnagasam/sws
rnagasam/VHal
An implementation of the Hal theorem prover