Skip to content
@usfca-pllab

usfca-pllab

USFCA Programming Languages Lab

Popular repositories Loading

  1. uncrustable uncrustable Public

    Rust 2

  2. symcc symcc Public

    Forked from eurecom-s3/symcc

    SymCC: efficient compiler-based symbolic execution

    C++

  3. SVF SVF Public

    Forked from SVF-tools/SVF

    Static Value-Flow Analysis Framework for Source Code

    C++

  4. sexp-rewriter sexp-rewriter Public

    Haskell

  5. faster-minikanren faster-minikanren Public

    Forked from michaelballantyne/faster-minikanren

    A clone of faster-miniKanren with changes for GC support. Works only on Racket with specific HAMT implementations.

    Scheme

  6. plrg plrg Public

    Programming Languages Reading Group

Repositories

Showing 8 of 8 repositories
  • uncrustable Public
    usfca-pllab/uncrustable’s past year of commit activity
    Rust 2 0 1 1 Updated Mar 31, 2025
  • Meerkat Public Forked from meerkat-parser/Meerkat

    Meerkat parsers

    usfca-pllab/Meerkat’s past year of commit activity
    Scala 0 11 0 0 Updated Feb 12, 2025
  • truffle-demo Public
    usfca-pllab/truffle-demo’s past year of commit activity
    Scala 0 0 0 0 Updated Feb 17, 2024
  • symcc Public Forked from eurecom-s3/symcc

    SymCC: efficient compiler-based symbolic execution

    usfca-pllab/symcc’s past year of commit activity
    C++ 0 GPL-3.0 146 0 0 Updated Feb 4, 2024
  • plrg Public

    Programming Languages Reading Group

    usfca-pllab/plrg’s past year of commit activity
    0 0 0 0 Updated Feb 1, 2024
  • SVF Public Forked from SVF-tools/SVF

    Static Value-Flow Analysis Framework for Source Code

    usfca-pllab/SVF’s past year of commit activity
    C++ 0 445 0 0 Updated Nov 30, 2023
  • faster-minikanren Public Forked from michaelballantyne/faster-minikanren

    A clone of faster-miniKanren with changes for GC support. Works only on Racket with specific HAMT implementations.

    usfca-pllab/faster-minikanren’s past year of commit activity
    Scheme 0 MIT 39 0 0 Updated Jun 27, 2023
  • sexp-rewriter Public
    usfca-pllab/sexp-rewriter’s past year of commit activity
    Haskell 0 0 0 0 Updated Mar 26, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…