DanGrayson

DanGrayson's Stars

• Macaulay2/Macaulay2.github.io

  The Macaulay2 web site

  Language:HTML22

• 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:TeX62

• polymake/polymake

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

  Language:C++7614

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq702144

• mikestillman/integral-closure

  Reworking integral closure functionality in Macaulay2

  Language:Macaulay21

• peterlefanulumsdaine/general-type-theories

  A (formalised) general definition of type theories

  Language:Coq542

• Macaulay2/M2-emacs

  Macaulay2 emacs files

  Language:Emacs Lisp53

• github-linguist/linguist

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

  Language:Ruby12k4.1k

• marcbezem/ZTors

  Construction of the circle in UniMath

  Language:TeX11

• pdg137/simple-pages

  Language:HTML21

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java68934

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k216

• ramonfmir/lean-scheme

  Schemes in Lean (v2)

  Language:Lean425

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

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda21618

• kimwalisch/primesieve

  🚀 Fast prime number generator

  Language:C++921121

• Homebrew/brew

  🍺 The missing package manager for macOS (or Linux)

  Language:Ruby40.2k9.4k

• Macaulay2/Workshop-2018-Leipzig

  Collaboration area for the workshop in Leipzig, 2018

  Language:Emacs Lisp89

• DavidEGrayson/nixcrpkgs

  Nice nix expressions for cross-compiling.

  Language:Nix1338

• dlicata335/cart-cube

  Cartesian Cubical Type Theory

  Language:Agda694

• 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.2k348

• guillaumebrunerie/JamesConstruction

  Formalization of the James construction in Agda

  Language:Agda10

• RedPRL/sml-redprl

  The People's Refinement Logic

  Language:Standard ML22718

• rust-lang/book

  The Rust Programming Language

  Language:Rust14.6k3.3k

• fhinkel/InteractiveShell

  Build web apps for interactive command-line tools

  Language:HTML269

• TheoWinterhalter/formal-type-theory

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

  Language:Coq904

• wlanslovenija/nodewatcher-paper

  Paper presenting nodewatcher, a modular open networks growing platform.

  Language:TeX32

• dlanier/FlyingMachineFractal

  python conversion of MATLAB hobby code.

  Language:Jupyter Notebook31

• gramps-project/gramps

  Source code for Gramps Genealogical program

  Language:Python2.1k403

• mikeshulman/Coq-HoTT

  Homotopy type theory

  Language:Coq124

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.4k77