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
  ☆13Updated last year
• DeepMLNet / Tensor.Sample
  Example project for F# tensor library.
  ☆14Updated 7 years ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 4 years ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆15Updated 5 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated last week
• 7sharp9 / Atari-St-Emulator
  Building Emulators inF#
  ☆11Updated 4 years ago
• msr-quarc / ReVerC
  Verified compilation of space-efficient reversible circuits
  ☆23Updated 6 years ago
• evelinag / Ariadne
  F# library for Gaussian process models
  ☆45Updated 10 years ago
• sergey-tihon / Tiger
  Tiger Compiler implemented in F#
  ☆11Updated 3 years ago
• Demuirgos / Lambda-Calculus
  A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
  ☆13Updated last year
• 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 6 months ago
• WhiteBlackGoose / LambdaCalculusFSharp
  λ calculus library made purely in and for F#
  ☆33Updated last year
• fsprojects / Furnace
  Production-grade ML - F# power & precision guiding Torch performance
  ☆45Updated 2 months ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆51Updated 4 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• corsis / XParsec
  extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
  ☆50Updated 7 years ago
• fsprojects / FsGlfw3
  F# GLFW 3 Binding
  ☆10Updated 7 years ago
• allisterb / Sylvester
  A language for scientific computing that focuses on safety, expressiveness, and interoperability
  ☆54Updated last month
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆99Updated 2 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• allisterb / Compute.NET
  .NET bindings for native numerical computing
  ☆31Updated 7 years ago
• AlexeyRaga / fsharp-foldl
  This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…
  ☆35Updated last year
• Proxem / BlasNet
  Basic Linear Algebra Subprograms for .Net
  ☆11Updated 6 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆16Updated last month
• thosgood / translations
  some maths papers in English
  ☆18Updated last month
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆128Updated last week
• FStarLang / VimFStar
  A Vim mode for FStar
  ☆25Updated 2 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago