tchajed/split-proposal

Split an NSF proposal into submission documents

Language: Go - Size: 4.88 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

tchajed/personal-website

Sources to generate personal website

Language: Racket - Size: 145 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

tchajed/interviews-web

Language: TypeScript - Size: 541 KB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

tchajed/marshal

Marshaling library targeting Goose

Language: Go - Size: 57.6 KB - Last synced at: 8 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 3

tchajed/botc-tools

Storyteller tools for Blood on the Clocktower

Language: TypeScript - Size: 13.6 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 6 - Forks: 5

tchajed/sys-verif-docker

Language: Shell - Size: 33.2 KB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

tchajed/iris-simp-lang

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Language: Rocq Prover - Size: 1.31 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 51 - Forks: 5

tchajed/web-timer

Simple web timer

Language: TypeScript - Size: 784 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 1 - Forks: 0

tchajed/iris-named-props

Named Props for Iris

Language: Rocq Prover - Size: 74.2 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 6

tchajed/coq-record-update

Library to create Coq record update functions

Language: Rocq Prover - Size: 169 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 48 - Forks: 17

tchajed/sys-verif-fa24

Course website for Systems Verification Fall 2024

Language: Shell - Size: 1.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 8

tchajed/database-stream-processing-theory

Formalization of DBSP

Language: Lean - Size: 47.9 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 22 - Forks: 3

tchajed/dotfiles

Personal dotfiles configuration

Language: Emacs Lisp - Size: 1.52 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 1

tchajed/rdb

Debugger written in Rust

Language: Rust - Size: 152 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 24 - Forks: 0

tchajed/minimal-elf

Creating a minimal ELF file

Language: Rust - Size: 180 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 120 - Forks: 4

tchajed/ltac2-tutorial

Ltac2 tutorial

Language: Coq - Size: 24.4 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 45 - Forks: 3

tchajed/futex-tutorial

Language: C - Size: 21.5 KB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 12 - Forks: 1

tchajed/rust-nbd

Network Block Device (NBD) server and client written in Rust

Language: Rust - Size: 200 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 11 - Forks: 1

tchajed/personal-cv

Language: TeX - Size: 85 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

tchajed/personal-website-demo

Template for a statically generated academic website

Language: JavaScript - Size: 546 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 3

tchajed/dafny-syntax-tutorial

Short introduction to Dafny

Language: Dafny - Size: 134 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 2

tchajed/protocol-verification-fa2023

Assignments for COMP SCI 839 from UW-Madison in Fall 2023

Language: Dafny - Size: 90.8 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 5

tchajed/coq-io

Modeling I/O in Coq using free monads

Language: Coq - Size: 19.5 KB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 10 - Forks: 2

tchajed/coq-tla

Language: Coq - Size: 340 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 1

tchajed/better-website

Language: HTML - Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

tchajed/coq-tactical

Library of Coq proof automation

Language: Coq - Size: 39.1 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 2

tchajed/commit-email-bot

GitHub app that sends an email with every commit diff

Language: Go - Size: 141 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

tchajed/uw-cs-letterhead Fork of liblit/uw-cs-letterhead

LaTeX class to create letterhead for the Department of Computer Sciences at the University of Wisconsin–Madison

Language: PostScript - Size: 446 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

tchajed/cardinality

Reasoning about finite type cardinality in Coq

Language: Coq - Size: 16.6 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 2

tchajed/sys-verif-fa24-proofs

Assignment repo for Systems Verification Fall 2024 at UW-Madison

Language: Coq - Size: 420 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

tchajed/div-regex

Computing regular expressions to test divisibility

Language: Python - Size: 77.1 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 0

tchajed/townsquare Fork of nicholas-eden/townsquare

Blood on the Clocktower virtual grimoire & town square

Size: 46.1 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

tchajed/ivy-to-mypyvy

Convert an Ivy liveness problem to a mypyvy input file

Language: Rust - Size: 257 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

tchajed/seplogic-demo

Demos for lecture on Separation Logic by O'Hearn from CACM 2019.

Language: Coq - Size: 73.2 KB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 0

tchajed/coq-arrows-theorem

Proof of Arrow's Impossibility Theorem

Language: Coq - Size: 17.6 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

tchajed/coq-tactic-timing

Language: Python - Size: 5.86 KB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

tchajed/perennial Fork of mit-pdos/perennial

Verifying concurrent crash-safe systems

Size: 24.8 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0

tchajed/go-thrift Fork of samuel/go-thrift

A native Thrift package for Go

Language: Go - Size: 203 KB - Last synced at: about 1 year ago - Pushed at: over 12 years ago - Stars: 0 - Forks: 0

tchajed/wordenc

Language: Go - Size: 98.6 KB - Last synced at: over 2 years ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 1

tchajed/coq-sep-logic

Separation logic library for Coq

Language: Coq - Size: 89.8 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 1

tchajed/latex-tricks

Advanced tricks for weird LaTeX behavior

Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tchajed/audiobook-splitting

Splitting audiobooks by chapter

Language: Python - Size: 28.3 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 1

tchajed/r2048-ai

AI for the 2048 game

Language: Rust - Size: 180 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

tchajed/opam-coq-archive Fork of coq/opam

Archive for all Coq related OPAM packages organized in various repositories

Language: OCaml - Size: 10.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

tchajed/portmap

Map domain names to local ports with DNS and reverse proxy magic

Language: Python - Size: 14.6 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 6 - Forks: 0

tchajed/verus-vstd-models

Language: Rust - Size: 32.2 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

tchajed/ostep-homework Fork of remzi-arpacidusseau/ostep-homework

Language: Python - Size: 315 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tchajed/ostep-code Fork of remzi-arpacidusseau/ostep-code

Code from various chapters in OSTEP (http://www.ostep.org)

Language: C - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tchajed/cs537-sp24-syllabus

PDF syllabus for CS 537 at UW-madison

Language: Python - Size: 27.3 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tchajed/Voting.jl

Implementations of several voting schemes in Julia

Language: Julia - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 8 - Forks: 3

tchajed/ivy-mutex

Mutex proof in Ivy

Language: Shell - Size: 590 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1

tchajed/coq-array

Coq library for array indexing and subslicing

Language: Coq - Size: 73.2 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 2

tchajed/homebrew-cask Fork of Homebrew/homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

Language: Ruby - Size: 332 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tchajed/100game

Analysis of the 100 game

Language: Coq - Size: 12.7 KB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1

tchajed/botc-icons

Size: 6.98 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 1

tchajed/emotion Fork of emotion-js/emotion

👩‍🎤 CSS-in-JS library designed for high performance style composition

Size: 22.2 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

tchajed/coq-curry-howard

What a Coq proof actually is

Language: Coq - Size: 39.1 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1

tchajed/content Fork of mdn/content

The content behind MDN Web Docs

Size: 382 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

tchajed/dafny Fork of dafny-lang/dafny

Dafny is a verification-aware programming language

Size: 203 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/docopt.org Fork of docopt/docopt.org

The website

Language: Tcl - Size: 61.5 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

tchajed/styleguide Fork of atom/styleguide

A package to exercise all the UI components.

Language: CoffeeScript - Size: 214 KB - Last synced at: over 2 years ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

tchajed/idris-vim Fork of idris-hackers/idris-vim

Idris mode for vim

Language: VimL - Size: 163 KB - Last synced at: over 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

tchajed/PianoKeys Fork of shayne/PianoKeys

Control Pianobar using Mac media keys

Language: Objective-C - Size: 105 KB - Last synced at: over 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

tchajed/LibXtract Fork of jamiebullock/LibXtract

LibXtract is a simple, portable, lightweight library of audio feature extraction functions.

Language: C - Size: 495 KB - Last synced at: over 2 years ago - Pushed at: over 12 years ago - Stars: 0 - Forks: 0

tchajed/intro-to-tla

Language: TeX - Size: 14.6 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

tchajed/astro_nvim_user

User configuration for AstroNvim

Language: Lua - Size: 10.7 KB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

tchajed/mypyvy Fork of wilcoxjay/mypyvy

A language for symbolic transitions system, inspired by Ivy.

Size: 24.8 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/counterexamples Fork of stedolan/counterexamples

Counterexamples in Type Systems

Size: 1.9 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/ivy-docker

Language: Shell - Size: 15.6 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tchajed/splinterdb Fork of vmware/splinterdb

High Performance Embedded Key-Value Store

Size: 5.07 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/rsmt2 Fork of kino-mc/rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Size: 506 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/rust-peg Fork of kevinmehall/rust-peg

Parsing Expression Grammar (PEG) parser generator for Rust

Size: 1.07 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/goedel-t

Formalization of termination of Gödel's System T

Language: Coq - Size: 70.3 KB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 0

tchajed/homebrew-core Fork of Homebrew/homebrew-core

:beers: Core formulae for the Homebrew package manager

Language: Ruby - Size: 435 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

tchajed/hotcrp Fork of kohler/hotcrp

HotCRP conference review software

Size: 55.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/lean Fork of leanprover/lean

Lean Theorem Prover

Size: 50.1 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

tchajed/keyd Fork of rvaiya/keyd

A key remapping daemon for linux.

Size: 1.36 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

tchajed/verus Fork of verus-lang/verus

Verified Rust for low-level systems code

Size: 8.14 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/doom-emacs Fork of doomemacs/doomemacs

An Emacs configuration for the stubborn martian vimmer

Language: Emacs Lisp - Size: 26.1 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

tchajed/coq-transitions

Coq library for writing transition relations

Language: Coq - Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 2

tchajed/coq-subslice

Coq library for reasoning about subslices of lists

Language: Coq - Size: 23.4 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

tchajed/thesis

My PhD thesis

Language: TeX - Size: 5 MB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

tchajed/coq-classes

A library of typeclasses for Coq

Language: Coq - Size: 52.7 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 3

tchajed/mailboat

Verified mail server

Language: Go - Size: 67.4 KB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1

tchajed/iris-bank-demo

Demo of using Iris to prove a simple property of a concurrent program

Language: Coq - Size: 47.9 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

tchajed/spacemacs-coq Fork of olivierverdier/spacemacs-coq

A Coq layer for Spacemacs

Language: Emacs Lisp - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 6

tchajed/platform Fork of coq/platform

Multi platform setup for Coq, Coq libraries and tools

Size: 930 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tchajed/ethereum-erc721 Fork of nibbstack/erc721

Non-fungible token implementation for Ethereum-based blockchains.

Size: 768 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tchajed/coq-record-update-plugin

Language: Coq - Size: 47.9 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

tchajed/coq-ltac2-experiments

All the code I've ever written in Ltac2

Language: Coq - Size: 48.8 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 0

tchajed/games-night

Rules for board games we play often

Language: Julia - Size: 410 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

tchajed/cloudflare-docs Fork of cloudflare/cloudflare-docs

Cloudflare’s developer docs.

Size: 533 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

tchajed/iris-project Fork of logsem/iris-project

Size: 136 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

tchajed/go-rpcgen Fork of zeldovich/go-rpcgen

Language: Go - Size: 151 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tchajed/multipass Fork of canonical/multipass

Multipass orchestrates virtual Ubuntu instances

Size: 5.87 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tchajed/coq-serapi Fork of ejgallego/coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Size: 2.35 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tchajed/dafny-ci-test

Language: Dafny - Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tchajed/coq-project-template

Example project setup for Coq that supports git submodule dependencies

Language: Python - Size: 49.8 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

tchajed/criterion Fork of haskell/criterion

A powerful but simple library for measuring the performance of Haskell code.

Language: HTML - Size: 2.29 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

tchajed/coq-arm-ci-test

Language: Makefile - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0