Skip to content

@UCSD-PL UCSD-PL

Change the repository type filter

All

    Repositories list

    29 repositories

    • proverbot9001

      Public
      Coq
      •
      GNU General Public License v3.0
      •19•44•5•2•Updated Feb 26, 2026Feb 26, 2026

    • vscode

      Public
      Visual Studio Code
      TypeScript
      •
      MIT License
      •38k•0•15•1•Updated Jan 23, 2024Jan 23, 2024

    • ed-vis-gen

      Public
      Educational Visualization DSL and Synthesis
      JavaScript
      •0•1•0•0•Updated Jul 8, 2020Jul 8, 2020

    • cse-231-starter

      Public
      Starter code for 231 LLVM project
      C++
      •2•2•0•0•Updated Jan 7, 2020Jan 7, 2020

    • refscript

      Public
      Refinement Types for Scripting Languages
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•69•16•0•Updated Jan 13, 2019Jan 13, 2019

    • cse-130-230

      Public
      0•0•0•0•Updated Dec 11, 2018Dec 11, 2018

    • inv-gen-game

      Public
      TypeScript
      •0•0•5•0•Updated Oct 18, 2018Oct 18, 2018

    • inv-gen-game-chi18

      Public
      Python
      •0•2•0•0•Updated Apr 22, 2018Apr 22, 2018

    • veridrone

      Public
      Foundational Verification of Hybrid Systems
      0•15•0•0•Updated Mar 23, 2017Mar 23, 2017

    • liquidhaskell-blog

      Public
      Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
      CSS
      •2.6k•1•0•1•Updated Sep 19, 2016Sep 19, 2016

    • ardupilot

      Public
      ArduPlane, ArduCopter, ArduRover source
      C++
      •
      GNU General Public License v3.0
      •20k•0•0•0•Updated Sep 13, 2016Sep 13, 2016

    • typed-blockly

      Public
      Typed version of Blockly
      JavaScript
      •
      Apache License 2.0
      •1•5•0•0•Updated Jun 27, 2016Jun 27, 2016

    • ivt

      Public
      Protecting C++ Dispatch through Interleaved VTables
      C++
      •
      Other
      •1•4•0•0•Updated Mar 20, 2016Mar 20, 2016

    • 230-web

      Public
      Website for CSE230
      Haskell
      •
      MIT License
      •0•10•0•0•Updated Jan 29, 2016Jan 29, 2016

    • proof-game

      Public
      HTML
      •0•0•0•0•Updated Nov 3, 2015Nov 3, 2015

    • nano-js

      Public
      Language for experimenting with verification algorithms
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•3•0•Updated Sep 10, 2015Sep 10, 2015

    • rsc

      Public
      Top-Level repo for RefScript
      0•0•0•0•Updated Jul 23, 2015Jul 23, 2015

    • tournament

      Public
      Test Server
      Haskell
      •0•0•0•0•Updated Jun 8, 2015Jun 8, 2015

    • rs-benchmarks

      Public
      Experiments porting JS to TS
      JavaScript
      •0•0•0•0•Updated Mar 25, 2015Mar 25, 2015

    • language-ecmascript

      Public
      JavaScript parser and additional tools
      Haskell
      •
      Other
      •31•0•0•0•Updated Feb 19, 2015Feb 19, 2015

    • kraken

      Public
      C
      •
      Other
      •2•30•4•0•Updated Jun 7, 2014Jun 7, 2014

    • terror-messages

      Public
      Test directed type error messages
      OCaml
      •0•1•0•0•Updated Feb 13, 2014Feb 13, 2014

    • impscript

      Public
      Gradual Types for JavaScript
      JavaScript
      •
      Other
      •0•0•0•0•Updated Feb 6, 2014Feb 6, 2014

    • nano-ts

      Public
      TypeScript Compiler, modified to emit parsed AST
      JavaScript
      •0•0•0•0•Updated Dec 4, 2013Dec 4, 2013

    • csolve-webserver

      Public
      C
      •
      MIT License
      •0•2•0•0•Updated Jul 1, 2013Jul 1, 2013

    • cbrowser

      Public
      Quark in C
      Python
      •0•0•0•0•Updated Jul 1, 2013Jul 1, 2013

    • algorithmic-software-verification

      Public
      Course Materials for Graduate Class on Algorithmic Software Verification
      Haskell
      •8•5•0•0•Updated Jun 12, 2013Jun 12, 2013

    • djs

      Public
      Dependent JavaScript: A Typed Dialect
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated May 14, 2013May 14, 2013

    • nano-smt

      Public
      "Toy" SMT Solver for Educational Purposes
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•20•0•0•Updated Apr 17, 2013Apr 17, 2013