Alternatives and similar repositories for polyfactor:

Users that are interested in polyfactor are comparing it to the libraries listed below

• ryu577 / GroebnerBasis
  Buchbergers algorithm for computing Groebner basis of polynonmial ideals
  ☆12Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆46Updated this week
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆15Updated 5 years ago
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆11Updated last year
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆14Updated 2 months ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆37Updated 4 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 10 months ago
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• DeepMLNet / Tensor.Sample
  Example project for F# tensor library.
  ☆14Updated 6 years ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆99Updated this week
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆15Updated last week
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆61Updated 5 months ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆77Updated 3 months ago
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆16Updated 2 months ago
• b-mehta / unit-fractions
  ☆15Updated last year
• thery / coqprime
  Prime numbers for Coq
  ☆37Updated 2 months ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆23Updated 8 months ago
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated 2 months ago
• FStarLang / VimFStar
  A Vim mode for FStar
  ☆25Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆83Updated 7 months ago
• DavePearce / FeatherweightRust
  Provides a reference implementation of FeatherweightRust in Java.
  ☆14Updated 3 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆192Updated 2 months ago
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆75Updated 3 weeks ago
• Proxem / BlasNet
  Basic Linear Algebra Subprograms for .Net
  ☆11Updated 5 years ago