tchajed Goto Github PK

instrumented-semantics

Proving refinement of concurrent programming language models in Coq

interactiontrees

A Library for Representing Recursive and Impure Programs in Coq

intro-to-tla

iris-bank-demo

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

iris-named-props

Named Props for Iris

iris-project

iris-simp-lang

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

issue-scraping

Scraping JIRA issues

ivy-docker

ivy-mutex

Mutex proof in Ivy

ivy-to-mypyvy

Convert an Ivy liveness problem to a mypyvy input file

jquery-jsonrpc

JSON-RPC 2.0 client for jQuery.

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

julia

The Julia Language: A fresh approach to technical computing.

jump

Jump helps you navigate faster by learning your habits. ✌️

jupyter

Jupyter metapackage for installation, docs and chat

justdelete.me

A directory of direct links to delete your account from web services.

keyd

A key remapping daemon for linux.

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

language-haskell

Highlighting support for the Haskell language in visual studio code.

latex-tricks

Advanced tricks for weird LaTeX behavior

latexrun

A 21st century LaTeX wrapper

lean

Lean Theorem Prover

libfuse

The reference implementation of the Linux FUSE (Filesystem in Userspace) interface

libxtract

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

licensee

A Ruby Gem to detect under what license a project is distributed.

llvmtwin-coq

Coq formalization of LLVM memory model (Reconciling High-level Optimizations and Low-level Code in LLVM, OOPSLA'18)

ltac2-tutorial

Ltac2 tutorial

madcap

A music clustering program.

magic-rpg

A text-heavy RPG set in a world full of magic