Alternatives and similar repositories for polyfactor

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

• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 3 weeks ago
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆16Updated 5 years ago
• adyavanapalli / natural-number-game-solutions
  Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…
  ☆21Updated 4 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆204Updated 2 months ago
• mkauers / ore_algebra
  ☆38Updated 2 weeks ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆103Updated this week
• mathnet / mathnet-symbolics
  Math.NET Symbolics
  ☆368Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• DiffSharp / DiffSharp
  DiffSharp: Differentiable Functional Programming
  ☆609Updated last year
• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆32Updated 7 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated 2 months ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆53Updated last year
• LanguageDev / Yoakke
  A collection of libraries for implementing compilers in .NET.
  ☆150Updated 3 months ago
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆559Updated this week
• nauotit / openf4
  F4 algorithm C++ library (groebner basis computations over finite fields)
  ☆13Updated 7 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆19Updated 2 months ago
• leanprover-community / logic_and_proof
  ☆13Updated 4 months ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆224Updated last week
• dsharlet / ComputerAlgebra
  Computer Algebra System for .Net
  ☆88Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆66Updated 2 years ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆235Updated this week
• cannorin / FSharp.TypeLevel
  type-level programming in F#
  ☆39Updated 6 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆152Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆233Updated last month
• Deducteam / Dedukti
  Type-checker for the λΠ-calculus modulo rewriting
  ☆225Updated 2 months ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated last week
• MachineCognitis / Math.Gmp.Native
  Library that exposes to .NET (through P-Invoke and .NET types) all of the functionality of the GNU MP Library.
  ☆22Updated last year
• mykolav / coollang-2020-fs
  Compiler for a small Scala subset
  ☆38Updated 10 months ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆205Updated 2 weeks ago