jakobmoosbauer / flips

Related projects ⓘ

Alternatives and complementary repositories for flips

• Inaxo / MathLib
  MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…
  ☆11Updated last year
• riswords / quiche
  ☆22Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• abetten / orbiter
  Classification of combinatorial objects
  ☆16Updated this week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• agrothendieck / agrothendieck.github.io
  THÈMES POUR UNE HARMONIE
  ☆22Updated 6 months ago
• north-numerical-computing / cpfloat
  Custom-Precision Floating-point numbers.
  ☆29Updated 5 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• gilbo / atl
  A Tensor Language
  ☆55Updated 3 years ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆95Updated last month
• dubrousky / mockmma
  ☆27Updated 6 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆13Updated last week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆39Updated 3 weeks ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆21Updated 2 weeks ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated last year
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆83Updated last month
• milankl / SoftPosit.jl
  A posit arithmetic emulator.
  ☆47Updated 4 months ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆28Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆40Updated last year
• mkauers / ore_algebra
  ☆29Updated last month
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆45Updated last year
• bassoy / ttv
  C++ Header-Only Library for High-Performance Tensor-Vector Multiplication
  ☆19Updated this week