GitHub / tchajed 61 Repositories
Researcher in systems verification. I write software and prove that it's correct.
tchajed/coq-survey
Proposed questions for a Coq user survey
Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
tchajed/go-awol
Go write-ahead logging
Language: Go - Size: 79.1 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1
tchajed/go-simple-db
Simple persistent key-value store
Language: Go - Size: 76.2 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1
tchajed/python-html2rest Fork of averagehuman/python-html2rest
Convert HTML to reStructuredText
Language: Python - Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
tchajed/redis Fork of redis/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
Language: C - Size: 3.78 MB - Last synced at: over 2 years ago - Pushed at: almost 13 years ago - Stars: 0 - Forks: 0
tchajed/coq-github-ci-test
Language: Makefile - Size: 30.3 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1
tchajed/docker-coq-action Fork of coq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Size: 106 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
tchajed/toolkit Fork of actions/toolkit
The GitHub ToolKit for developing GitHub Actions.
Size: 1.77 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
tchajed/cliff Fork of jonhoo/cliff
Find the load at which a benchmark falls over.
Size: 16.6 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
tchajed/code-prettify Fork of googlearchive/code-prettify
Automatically exported from code.google.com/p/google-code-prettify
Language: JavaScript - Size: 15.9 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/jscoq Fork of jscoq/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Language: JavaScript - Size: 5.6 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/specious-db
Simple persistent key-value store for prototyping a verified version
Language: Go - Size: 243 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
tchajed/dotfiles-osx Fork of holman/dotfiles
@holman does dotfiles
Language: Scheme - Size: 649 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/strong-induction
Proof of strong induction in Coq
Language: Coq - Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 2
tchajed/fiat-crypto Fork of mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
Size: 34.3 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1
tchajed/jump Fork of gsamokovarov/jump
Jump helps you navigate faster by learning your habits. ✌️
Size: 3.09 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
tchajed/regex-derivative
Regex derivatives in Coq
Language: Coq - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 2
tchajed/flixel-ui Fork of HaxeFlixel/flixel-ui
GUI library for HaxeFlixel
Size: 2.43 MB - Last synced at: over 2 years ago - Pushed at: almost 11 years ago - Stars: 0 - Forks: 0
tchajed/coqdocjs Fork of coq-community/coqdocjs
Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
tchajed/coqutil Fork of mit-plv/coqutil
Coq library for tactics, basic definitions, sets, maps
Size: 630 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
tchajed/heedless-db
Simple, persistent key-value store implemented in Haskell to prototype a verified version
Language: Haskell - Size: 41 KB - Last synced at: 13 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
tchajed/InteractionTrees Fork of DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Size: 1.85 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
tchajed/bbv Fork of mit-plv/bbv
Bedrock Bit Vector Library
Language: Coq - Size: 214 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
tchajed/go-nfs
File system library for NFS
Language: Go - Size: 30.3 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
tchajed/detex-abstract
Turn a LaTeX abstract into a Markdown abstract
Language: Python - Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
tchajed/xv6-riscv-book Fork of mit-pdos/xv6-riscv-book
Text describing xv6 on RISC-V
Size: 4.59 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
tchajed/fscq-issue-12
Language: Shell - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
tchajed/docker-coq-travis-ci-demo-1 Fork of erikmd/docker-coq-travis-ci-demo-1
Docker-Coq + Travis CI demo 1
Language: Coq - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
tchajed/wiki Fork of kiibohd/wiki
Input Club Wiki
Language: HTML - Size: 41.7 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
tchajed/hanabi
Hanabi game engine in Racket
Language: Racket - Size: 35.2 KB - Last synced at: 4 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
tchajed/madcap
A music clustering program.
Language: Go - Size: 137 KB - Last synced at: 4 months ago - Pushed at: over 12 years ago - Stars: 1 - Forks: 1
tchajed/z3-rkt Fork of philnguyen/z3-rkt
Racket bindings for Z3
Language: Racket - Size: 646 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
tchajed/brittany Fork of lspitzner/brittany
haskell source code formatter
Language: Haskell - Size: 2.08 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
tchajed/bedrock2 Fork of mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
Language: Coq - Size: 4.26 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
tchajed/riscv-coq Fork of mit-plv/riscv-coq
RISC-V Specification in Coq
Language: Coq - Size: 615 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
tchajed/coq-tutorials
Language: Coq - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2
tchajed/crypto Fork of vuvuzela/crypto
Supplementary cryptography libraries
Language: Assembly - Size: 158 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
tchajed/licensee Fork of licensee/licensee
A Ruby Gem to detect under what license a project is distributed.
Language: Ruby - Size: 1.06 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/go-asm-example
Language: Assembly - Size: 2.93 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
tchajed/go-buffer-cache
Language: Go - Size: 1000 Bytes - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/theme-bobthefish Fork of oh-my-fish/theme-bobthefish
A Powerline-style, Git-aware fish theme optimized for awesome.
Language: Shell - Size: 277 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/coq-ordering
Total order library for Coq
Language: Coq - Size: 5.86 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
tchajed/homebrew-x86_64-tools
Language: Ruby - Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/gitignore Fork of github/gitignore
A collection of useful .gitignore templates
Size: 1.72 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/rls Fork of rust-lang/rls
Repository for the Rust Language Server (aka RLS)
Language: Rust - Size: 1.76 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/coq-hlist
Coq heterogeneous lists library
Language: Coq - Size: 4.88 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/map-automation
Language: Coq - Size: 87.9 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/atbr Fork of coq-community/atbr
A tactic for deciding Kleene algebras
Language: Coq - Size: 405 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/latexrun Fork of aclements/latexrun
A 21st century LaTeX wrapper
Language: Python - Size: 234 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
tchajed/llvmtwin-coq Fork of snu-sf/llvmtwin-coq
Coq formalization of LLVM memory model (Reconciling High-level Optimizations and Low-level Code in LLVM, OOPSLA'18)
Language: Coq - Size: 479 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
tchajed/CoqAST Fork of uwplse/CoqAST
Fun plugin to play with the Gallina AST.
Language: OCaml - Size: 53.7 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
tchajed/fzf Fork of jethrokuan/fzf
Efficient fish keybindings for fzf
Language: Shell - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
tchajed/gorethink Fork of rethinkdb/rethinkdb-go
Go language driver for RethinkDB
Language: Go - Size: 820 KB - Last synced at: about 1 year ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0
tchajed/homebrew-cask-versions Fork of Homebrew/homebrew-cask-versions
🔢 Alternate versions of Casks
Language: Ruby - Size: 55.9 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
tchajed/clap-rs Fork of clap-rs/clap
A full featured, fast Command Line Argument Parser for Rust
Language: Rust - Size: 8.37 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/stamp Fork of kozyraki/stamp
the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research
Language: C - Size: 119 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
tchajed/syntect Fork of trishume/syntect
Rust library for syntax highlighting using Sublime Text syntax definitions.
Language: Rust - Size: 9.94 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
tchajed/adjacent
Language: Python - Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
tchajed/entropic-poetry
Encoding data using poetry
Language: Haskell - Size: 104 KB - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
tchajed/withcores
Language: Python - Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/ghc Fork of ghc/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.
Language: Haskell - Size: 190 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/ac-reasoning
Automating simplifying expressions according to associative-commutative reasoning in Coq
Language: Coq - Size: 22.5 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/vuvuzela Fork of vuvuzela/vuvuzela
Private messaging system that hides metadata
Language: Go - Size: 692 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/instrumented-semantics
Proving refinement of concurrent programming language models in Coq
Language: Coq - Size: 10.7 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/homebrew-neovim-dot-app Fork of rogual/homebrew-neovim-dot-app
Homebrew repo for Neovim.app
Language: Ruby - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/statistical
Language: Python - Size: 15.6 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/smartparens Fork of Fuco1/smartparens
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
Language: Emacs Lisp - Size: 3.14 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
tchajed/opam Fork of ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language: OCaml - Size: 31.8 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
tchajed/StanfordLegion.github.io Fork of StanfordLegion/StanfordLegion.github.io
Deployed version of Legion website
Language: HTML - Size: 75.7 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/org-ruby Fork of wallyqs/org-ruby
An Org mode parser written in Ruby.
Language: Ruby - Size: 2.02 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/org-test
Size: 0 Bytes - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/docs Fork of dotnet/docs
This repository contains .NET Documentation.
Size: 401 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/pony-tutorial Fork of ponylang/pony-tutorial
Tutorial for the Pony programming language
Language: HTML - Size: 485 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/rust Fork of rust-lang/rust
A safe, concurrent, practical language.
Language: Rust - Size: 305 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/batteries-included Fork of ocaml-batteries-team/batteries-included
Batteries Included project
Language: OCaml - Size: 20.6 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
tchajed/language-haskell Fork of JustusAdam/language-haskell
Highlighting support for the Haskell language in visual studio code.
Language: Haskell - Size: 1.03 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/everest-ci Fork of project-everest/everest-ci
CI scripts for project everest
Language: Shell - Size: 216 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/base-drafts Fork of quicwg/base-drafts
Internet-Drafts that make up the base QUIC specification
Language: Makefile - Size: 19.1 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/Bash-Snippets Fork of alexanderepstein/Bash-Snippets
A collection of small bash scripts for heavy terminal users
Language: Shell - Size: 2.17 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/test-repo
Size: 1.95 KB - Last synced at: 19 days ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/kremlin Fork of FStarLang/karamel
KreMLin is a tool for extracting low-level F* programs to readable C code
Language: OCaml - Size: 999 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/documentation Fork of purescript/documentation
Documentation for the PureScript language, compiler, and tools.
Size: 509 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/cool-whip
COOL compiler for CS143
Language: Assembly - Size: 208 KB - Last synced at: 4 months ago - Pushed at: about 13 years ago - Stars: 0 - Forks: 2
tchajed/stack Fork of commercialhaskell/stack
The Haskell Tool Stack
Language: Haskell - Size: 8.84 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/scalaz Fork of scalaz/scalaz
An extension to the core Scala library for functional programming.
Language: Scala - Size: 90.9 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/emacs-neotree Fork of jaypei/emacs-neotree
A emacs tree plugin like NerdTree for Vim.
Language: Emacs Lisp - Size: 750 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/company-coq Fork of cpitclaudel/company-coq
IDE extensions for Proof General's Coq mode
Language: Emacs Lisp - Size: 22.4 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
tchajed/justdelete.me Fork of jdm-contrib/jdm
A directory of direct links to delete your account from web services.
Language: HTML - Size: 8.87 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 1
tchajed/libfuse Fork of libfuse/libfuse
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
Language: C - Size: 2.16 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/FStar Fork of FStarLang/FStar
An ML-like language aimed at program verification
Language: OCaml - Size: 169 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
tchajed/reex
Generate examples that match a regex
Language: Python - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/diagrams Fork of diagrams/diagrams
Embedded domain-specific language for declarative vector graphics (wrapper package)
Language: Haskell - Size: 35.2 KB - Last synced at: over 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0
tchajed/ninja Fork of ninja-build/ninja
a small build system with a focus on speed
Language: C++ - Size: 2.14 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/hfuse Fork of m15k/hfuse
Haskell bindings for the FUSE library
Language: Haskell - Size: 78.1 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/jupyter Fork of jupyter/jupyter
Jupyter metapackage for installation, docs and chat
Language: Python - Size: 4.53 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/tuareg Fork of ocaml/tuareg
Emacs OCaml mode
Language: Emacs Lisp - Size: 765 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/coq Fork of coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language: OCaml - Size: 135 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
tchajed/cloc Fork of AlDanial/cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
Language: Perl - Size: 1.05 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/camlp5.github.io Fork of camlp5/camlp5.github.io
Language: HTML - Size: 12.8 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
tchajed/pl-exercises
Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0