Skip to content
@UCSD-PL

UCSD-PL

Popular repositories Loading

  1. refscript refscript Public

    Refinement Types for Scripting Languages

    Haskell 64 3

  2. proverbot9001 proverbot9001 Public

    Coq 39 17

  3. kraken kraken Public

    C 29 2

  4. nano-smt nano-smt Public

    "Toy" SMT Solver for Educational Purposes

    Haskell 21

  5. veridrone veridrone Public

    Foundational Verification of Hybrid Systems

    15

  6. 230-web 230-web Public

    Website for CSE230

    Haskell 10

Repositories

Showing 10 of 29 repositories
  • proverbot9001 Public
    UCSD-PL/proverbot9001’s past year of commit activity
    Coq 39 GPL-3.0 17 5 2 Updated Jul 2, 2024
  • vscode Public Forked from microsoft/vscode

    Visual Studio Code

    UCSD-PL/vscode’s past year of commit activity
    TypeScript 0 MIT 29,674 15 1 Updated Jan 23, 2024
  • ed-vis-gen Public

    Educational Visualization DSL and Synthesis

    UCSD-PL/ed-vis-gen’s past year of commit activity
    JavaScript 1 0 0 0 Updated Jul 8, 2020
  • cse-231-starter Public

    Starter code for 231 LLVM project

    UCSD-PL/cse-231-starter’s past year of commit activity
    C++ 2 2 0 0 Updated Jan 7, 2020
  • refscript Public

    Refinement Types for Scripting Languages

    UCSD-PL/refscript’s past year of commit activity
    Haskell 64 BSD-3-Clause 3 16 0 Updated Jan 13, 2019
  • cse-130-230 Public
    UCSD-PL/cse-130-230’s past year of commit activity
    0 0 0 0 Updated Dec 11, 2018
  • inv-gen-game Public
    UCSD-PL/inv-gen-game’s past year of commit activity
    TypeScript 0 0 5 0 Updated Oct 18, 2018
  • inv-gen-game-chi18 Public
    UCSD-PL/inv-gen-game-chi18’s past year of commit activity
    Python 2 0 0 0 Updated Apr 22, 2018
  • veridrone Public

    Foundational Verification of Hybrid Systems

    UCSD-PL/veridrone’s past year of commit activity
    15 0 0 0 Updated Mar 23, 2017
  • liquidhaskell-blog Public Forked from imathis/octopress

    Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?

    UCSD-PL/liquidhaskell-blog’s past year of commit activity
    CSS 1 2,667 0 1 Updated Sep 19, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…