wilcoxjay

wilcoxjay's Stars

• pjreddie/darknet

  Convolutional Neural Networks

  Language:C25.8k9102.4k21.3k

• duckdb/duckdb

  DuckDB is an analytical in-process SQL database management system

  Language:C++23.9k2075.1k1.9k

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k802.8k262

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• emichael/dslabs

  Distributed Systems Labs and Framework

  Language:Java1.3k3133341

• langjam/langjam

  1k981531

• nota-lang/nota

  A document language for the browser

  Language:TypeScript702191813

• boogie-org/boogie

  Boogie

  Language:Boogie51130272112

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp4921353288

• cpitclaudel/alectryon

  A collection of tools for writing technical documents that mix Coq code and prose.

  Language:HTML236117634

• ethereum/act

  Smart contract specification language

  Language:Haskell217127236

• RedPRL/redtt

  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

  Language:OCaml2042623512

• aatxe/oxide

  The essence of Rust.

  Language:OCaml1241306

• DistributedComponents/disel

  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

  Language:Coq951317

• standardml/cmlib

  A basic library of algorithms and data structures (a la NJlib)

  Language:Standard ML7314214

• UWSysLab/Eris

  Eris distributed transactions

  Language:C++52806

• jozefg/miniprl

  A small implementation of a proof refinement logic.

  Language:Standard ML501326

• uwplse/szalinski

  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

  Language:OpenSCAD457214

• jpaykin/LNLHaskell

  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic

  Language:Haskell35302

• jtoman/claims

  A LaTeX package for proof carrying papers

  Language:Python24101

• jonsterling/coq-guarded-computational-type-theory

  Language:Coq2011211

• theemathas/binary_turk

  A UCI (Universal Chess Interface) chess engine written in the Rust programming language

  Language:Rust20340

• regehr/rb_tree_demo

  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896

  Language:C18506

• RedPRL/sml-dependent-lcf

  A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

  Language:Standard ML1614181

• jonsterling/sml-modernized-algol

  Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees

  Language:Standard ML15743

• jonsterling/sml-logical-framework

  Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought

  Language:Standard ML1468

• DistributedComponents/coqproject

  Bash script for simple generation of Coq project metadata files

  Language:Shell10356

• siraben/coq-wigderson

  Formalization of Wigderson's graph coloring algorithm in Coq

  Language:Coq8143

• amritamaz/thesis

  my phd thesis

  Language:TeX6210

• abdum99/curis-formal-verification

  Language:Python20