-
lean-concrete-semantics Public
Nipkow and Klein's Concrete Semantics, in Lean
-
-
verify-rust-std Public
Forked from model-checking/verify-rust-stdVerifying the Rust standard library
Rust Other UpdatedOct 4, 2024 -
poseidon-circuit Public
Forked from scroll-tech/poseidon-circuitPoseidon hash circuit
Rust Apache License 2.0 UpdatedAug 9, 2024 -
homepage-hakyll Public
Forked from mreid/markreidname-hakyllMy website content and configuration for Hakyll
CSS BSD 3-Clause "New" or "Revised" License UpdatedApr 3, 2024 -
sprite-lang Public
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
-
cse130-devcontainer Public
Forked from cse130-assignments/cse130-devcontainerShell UpdatedDec 5, 2023 -
lh-pldi19-benchmarks Public
Benchmarks for PLDI2019 + scripts for preprocessing to bring upto date
Haskell MIT License UpdatedNov 9, 2023 -
voltron-demo Public
Voltron is a shared editor for in-class group programming exercises
Vue UpdatedDec 13, 2022 -
vera Public
Forked from PLSysSec/veraJavaScript BSD 3-Clause "New" or "Revised" License UpdatedJan 6, 2022 -
-
stitch-lh Public
Forked from facundominguez/stitch-lhHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 13, 2021 -
ucsd-cse-fellows-2021 Public
Website for UCSD CSE Postdoctoral Fellowship 2021
MIT License UpdatedJun 25, 2021 -
pliss21-tutorial Public
Materials for Intro to Refinement Types Tutorial at PLISS 2021
-
bytestring Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedNov 20, 2020 -
wasm-machine Public
Compiling a small expression oriented language to WASM
-
cs3210-rustos-public Public
Forked from sslab-gatech/cs3210-rustos-publicLab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
Rust UpdatedJul 1, 2020 -
-
-
WPDS Public
Forked from CROSSINGTUD/SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework
Java Eclipse Public License 2.0 UpdatedOct 17, 2019 -
CAV19-tutorial Public
Slides for CAV 2019 tutorial on Refinement Types
-
-
hash-test Public
minimal example demonstrating issue with optparse-simple
-
verified-instances Public
Forked from iu-parfunc/verified-instancesVerified instances for parallel programming.
-
00-lambda Public
Forked from cse130-wi19/00-lambdaAssignment 0: Lambda Calculus
Haskell MIT License UpdatedJan 13, 2019 -
language-haskell Public
Forked from JustusAdam/language-haskellHighlighting support for the Haskell language in visual studio code.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 14, 2018 -
researchr-booklet-ocaml Public
Scripts to generate LaTeX schedule from researchr.org exported XML
-
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpadProving leftpad correct in a dozen different ways
Isabelle Other UpdatedMay 21, 2018 -
-
researchr-booklet Public
Scripts to generate LaTeX schedule from researchr.org exported XML
TeX BSD 3-Clause "New" or "Revised" License UpdatedDec 13, 2017
{{ message }}