DanGrayson

DanGrayson's Stars

• Homebrew/brew

  🍺 The missing package manager for macOS (or Linux)

  Language:Ruby41.9k7284.6k9.9k

• rust-lang/book

  The Rust Programming Language

  Language:Rust15.5k2231.9k3.5k

• github-linguist/linguist

  Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

  Language:Ruby12.5k5322.4k4.3k

• gramps-project/gramps

  Source code for Gramps Genealogical program

  Language:Python2.2k1080425

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k521880

• 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:OCaml1.3k613.3k368

• kimwalisch/primesieve

  🚀 Fast prime number generator

  Language:C++9714690123

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq72651412147

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java7011325433

• RedPRL/sml-redprl

  The People's Refinement Logic

  Language:Standard ML2273230918

• martinescardo/HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda221151319

• DavidEGrayson/nixcrpkgs

  Nice nix expressions for cross-compiling.

  Language:Nix14410218

• TheoWinterhalter/formal-type-theory

  Formalising Type Theory in a modular way for translations between type theories

  Language:Coq9012194

• polymake/polymake

  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit

  Language:C++7812913

• dlicata335/cart-cube

  Cartesian Cubical Type Theory

  Language:Agda711004

• peterlefanulumsdaine/general-type-theories

  A (formalised) general definition of type theories

  Language:Coq5711102

• ramonfmir/lean-scheme

  Schemes in Lean (v2)

  Language:Lean42925

• fhinkel/InteractiveShell

  Build web apps for interactive command-line tools

  Language:HTML278189

• mikeshulman/Coq-HoTT

  Homotopy type theory

  Language:Coq125304

• guillaumebrunerie/JamesConstruction

  Formalization of the James construction in Agda

  Language:Agda10400

• Macaulay2/Workshop-2018-Leipzig

  Collaboration area for the workshop in Leipzig, 2018

  Language:Emacs Lisp83169

• DanGrayson/VV-C-system-from-a-monad

  This repository contains various versions of Voevodsky's paper "C-system of a module over a Jf-relative monad"

  Language:TeX63122

• Macaulay2/M2-emacs

  Macaulay2 emacs files

  Language:Emacs Lisp59283

• dlanier/FlyingMachineFractal

  python conversion of MATLAB hobby code.

  Language:Jupyter Notebook3101

• wlanslovenija/nodewatcher-paper

  Paper presenting nodewatcher, a modular open networks growing platform.

  Language:TeX31122

• Macaulay2/Macaulay2.github.io

  The Macaulay2 web site

  Language:HTML2602

• pdg137/simple-pages

  Language:HTML2301

• marcbezem/ZTors

  Construction of the circle in UniMath

  Language:TeX1421

• mikestillman/integral-closure

  Reworking integral closure functionality in Macaulay2

  Language:Macaulay21400