UCSD-PL/refscript
Refinement Types for Scripting Languages
Developer Profile
UCSD-PL
Discovered public repositories for UCSD-PL in the GitHub catalog.
UCSD-PL/terror-messages
Test directed type error messages
UCSD-PL/nano-ts
TypeScript Compiler, modified to emit parsed AST
UCSD-PL/impscript
Gradual Types for JavaScript
UCSD-PL/proof-game
Public repository.
UCSD-PL/djs
Dependent JavaScript: A Typed Dialect
UCSD-PL/language-ecmascript
JavaScript parser and additional tools
UCSD-PL/nano-js
Language for experimenting with verification algorithms
UCSD-PL/csolve-webserver
Public repository.
UCSD-PL/nano-smt
"Toy" SMT Solver for Educational Purposes
UCSD-PL/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
UCSD-PL/liquidhaskell-blog
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
UCSD-PL/cbrowser
Quark in C
UCSD-PL/kraken
Public repository.