ucsd-progsys/csv-table
Scripts for manipulating tables stored as CSV files
Developer Profile
ucsd-progsys
Discovered public repositories for ucsd-progsys in the GitHub catalog.
ucsd-progsys/snap-examples
Example code web apps using the Snap Framework
ucsd-progsys/dsolve
DSOLVE
ucsd-progsys/liquid-server
Web Server for Liquid-Types demos.
ucsd-progsys/ace
Ajax.org Cloud9 Editor
ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
ucsd-progsys/csolve
full csolve repo
ucsd-progsys/csolve-bak
Liquid Types for C
ucsd-progsys/AbstractRefinementTypes
Public repository.
ucsd-progsys/liquidhaskell
Liquid Types For Haskell