JackDrury

JackDrury's Stars

• grassmunk/Chicago95

  A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

  Language:HTML4.6k158

• dominichayesferen/Chicagofier

  An automatic Chicago95 script for Xubuntu

  Language:Shell935

• timroughgarden/fob21

  Course Site for Foundations of Blockchains (Columbia University, Fall 2021 semester)

  Language:HTML455

• Consensys/eth2.0-dafny

  Eth2.0 spec in Dafny

  Language:Dafny7414

• pirapira/bamboo

  Bamboo see https://github.com/cornellblockchain/bamboo

  Language:OCaml32440

• pirapira/eth-isabelle

  A Lem formalization of EVM and some Isabelle/HOL proofs

  Language:Isabelle23842

• pirapira/ethereum-formal-verification-overview

  The start page about my efforts around smart contract verification

  29926

• evm-lang-design/evm-lang-design

  Language Design Community for the EVM: Intro and Resources

  1379

• dapphub/klab

  K framework proof explorer & smart contract specification format

  Language:JavaScript12336

• newsboat/newsboat

  An RSS/Atom feed reader for text terminals

  Language:C++3.1k217

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k73

• clojure-emacs/sayid

  A debugger for Clojure

  Language:Clojure40927

• cemulate/the-mlab

  A wiki for collaborative work on totally legitimate "category theory"

  Language:Nearley1044

• hoophq/sequence

  Immutable, scalable, and easy to use ledger service.

  Language:Clojure49431

• pinoceniccola/what-hn-says-webext

  Web Extension: Easily find Hacker News discussions about the page you're currently browsing.

  Language:HTML26712

• raviksharma/bartosz-basics-of-haskell

  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

  Language:Haskell48819

• adam-mcdaniel/oakc

  A portable programming language with a compact intermediate representation

  Language:Rust73321

• digama0/mm0

  Metamath Zero specification language

  Language:Lean32540

• org-roam/org-roam

  Rudimentary Roam replica with Org-mode

  Language:Emacs Lisp5.6k482

• jsspencer/pomo

  A simple Pomodoro timer written in bash.

  Language:Shell10725

• kevinschoon/pomo

  Pomodoro CLI

  Language:Go53646

• blanchette/logical_verification_2020

  Companion files for Logical Verification 2020–2021 at VU Amsterdam

  Language:Lean9513

• HDSpray/Kuifje

  An imperative language for quantitative information flow.

  Language:Haskell24

• martonbognar/kuifje

  A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.

  Language:Haskell62

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k2.6k

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle517108

• RPISEC/MBE

  Course materials for Modern Binary Exploitation by RPISEC

  Language:C5.6k893

• m-khvoinitsky/dark-background-light-text-extension

  Firefox addon that turns every page colors into "light text on dark background"

  Language:TypeScript36427

• mit-plv/riscv-semantics

  A formal semantics of the RISC-V ISA in Haskell

  Language:Haskell16016

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown322k29.9k