DanGrayson

DanGrayson's Stars

• atom/atom

  :atom: The hackable text editor

  Language:JavaScript60.3k2.6k17.1k17.4k

• musescore/MuseScore

  MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

  Language:C++12.5k24110.2k2.7k

• ivmai/bdwgc

  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

  Language:C3k98521408

• SabakiHQ/Sabaki

  An elegant Go board and SGF editor for a more civilized age.

  Language:JavaScript2.4k87738378

• msys2/MINGW-packages

  Package scripts for MinGW-w64 targets to build under MSYS2.

  Language:Shell2.3k974.1k1.2k

• msys2/MSYS2-packages

  Package scripts for MSYS2.

  Language:Shell1.3k561.6k491

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k60596195

• johanvts/emacs-fireplace

  A cozy fireplace for emacs.

  Language:Emacs Lisp734161721

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell571456176

• ivmai/libatomic_ops

  The atomic_ops project (Atomic memory update operations portable implementation)

  Language:C4294038110

• HoTT/HoTT-Agda

  Development of homotopy type theory in Agda

  Language:Agda421552559

• Macaulay2/M2

  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

  Language:Macaulay2352291.8k236

• Andromedans/andromeda

  A proof assistant for general type theories

  Language:OCaml2982319734

• Singular/Singular

  sources for the Singular computer algebra system

  Language:C++26627212119

• wbhart/mpir

  Multiple Precision Integers and Rationals

  Language:Assembly22820242134

• dds-bridge/dds

  Double Dummy Solver written in C++ for the Bridge Card Game

  Language:C++132225096

• andrejbauer/Homotopy

  Homotopy theory in Coq.

  Language:Verilog901118

• linbox-team/fflas-ffpack

  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package

  Language:C++572719123

• pololu/a-star

  Pololu A-Star software and drivers

  Language:C57161127

• HoTT/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:OCaml27151205

• favonia/homotopy

  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

  Language:Agda26452

• broune/mathic

  C++ library of symbolic algebra data structures for use in Groebner basis computation.

  Language:C++238317

• broune/mathicgb

  Compute (signature) Groebner bases using the fast datastructures from mathic.

  Language:C++136312

• peterlefanulumsdaine/hott-limits

  A formalization of (homotopy) limits in Homotopy Type Theory

  Language:Coq11501

• broune/memtailor

  C++ library of special purpose memory allocators.

  Language:C++84012

• benediktahrens/rezk_completion

  Rezk completion

  Language:Coq5532

• mattam82/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:OCaml5430

• garyfurnish/cgc1

  Conservative Garbage Collector in C++11

  Language:C++4302

• mikestillman/M2

  The primary source code repository for Macaulay2

  Language:Macaulay244112

• peterlefanulumsdaine/HoTT

  Homotopy type theory

  Language:Coq2300