james-d-mitchell

james-d-mitchell's Stars

• Homebrew/brew

  🍺 The missing package manager for macOS (or Linux)

  Language:Ruby41.3k7194.5k9.7k

• voila-dashboards/voila

  Voilà turns Jupyter notebooks into standalone web applications

  Language:Python5.5k73740505

• Neargye/magic_enum

  Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code

  Language:C++4.9k66221439

• bombela/backward-cpp

  A beautiful stack trace pretty printer for C++

  Language:C++3.8k98164481

• jenius-apps/ambie

  An app that uses white noise, nature sounds, and focus features to boost your productivity.

  Language:C#1.9k19186143

• leanprover-community/mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362297

• gap-system/gap

  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

  Language:GAP810381.8k160

• google/fuzztest

  Language:C++728195974

• p-ranav/alpaca

  Serialization library written in C++17 - Pack C++ structs into a compact byte-array without any macros or boilerplate code

  Language:C++475132543

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++4342820580

• wlav/cppyy

  Language:Python4071124142

• ds4dm/ecole

  Extensible Combinatorial Optimization Learning Environments

  Language:C++321815668

• matusnovak/doxybook2

  Doxygen XML to Markdown (or JSON)

  Language:C++17665239

• xtensor-stack/xtensor-blas

  BLAS extension to xtensor

  Language:C++1571410455

• marzer/poxy

  Documentation generator for C++

  Language:Python1376325

• simonask/rx-ranges

  rx::ranges is a minimalist ranges library for C++17

  Language:C++12611107

• paul-j-lucas/cdecl

  Composing and deciphering C (or C++) declarations or casts, aka ‘‘gibberish.’’

  Language:C8942711

• codespell-project/actions-codespell

  Language:Shell7473719

• acg/python-cdb

  A python interface to djb's cdb library

  Language:C669418

• CSCsw/ColPack

  A Graph Coloring Algorithm Package

  Language:C++58131951

• gauteh/vim-cppman

  Plugin for use of cppman ("C++ 98/11/14 manual pages for Linux/MacOS" ) from within Vim

  Language:Vim Script373416

• jameslamb/pydistcheck

  Linter that finds portability issues in Python package distributions (wheels, sdists, conda packages).

  Language:Python352611

• digraphs/Digraphs

  The GAP package Digraphs

  Language:GAP301121446

• semigroups/Semigroups

  The GAP package Semigroups

  Language:GAP231038436

• vaibhawvipul/performance-engineering

  Language:C++21319

• hivert/HPCombi

  Fast combinatorics in C++ using SSE/AVX instruction sets

  Language:C++12894

• james-d-mitchell/gaplint

  A linter for GAP (https://www.gap-system.org/)

  Language:Python74104

• libsemigroups/libsemigroups_pybind11

  Python bindings for the libsemigroups C++ library for semigroups and monoids

  Language:C++63387

• pjhuxford/short-presentations

  Short presentations of alternating and symmetric groups

  1200

• reiniscirpons/freebandlib

  Reference implementations of algorithms for free bands.

  Language:Python10