Alternatives and similar repositories for polyfactor

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

• 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 3 weeks ago
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆16Updated 5 years ago
• ryu577 / GroebnerBasis
  Buchbergers algorithm for computing Groebner basis of polynonmial ideals
  ☆13Updated 2 years ago
• Demuirgos / Lambda-Calculus
  A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
  ☆13Updated 2 years ago
• leanprover-community / logic_and_proof
  ☆13Updated 4 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆233Updated last month
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆31Updated 4 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆204Updated 2 months ago
• allisterb / Sylvester
  A language for scientific computing that focuses on safety, expressiveness, and interoperability
  ☆57Updated 10 months ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆103Updated this week
• teorth / symmetric_project
  ☆94Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated 2 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆32Updated 7 months ago
• DiffSharp / DiffSharp
  DiffSharp: Differentiable Functional Programming
  ☆609Updated last year
• fsprojects / Z3Fs
  Simple DSL to solve SMT problems using Z3 API in F#
  ☆54Updated 6 years ago
• zilch-lang / specification
  A complete specification on Zilch and N⋆
  ☆11Updated 3 years ago
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆53Updated last year
• corsis / XParsec
  extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
  ☆55Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• mathnet / mathnet-symbolics
  Math.NET Symbolics
  ☆368Updated 2 years ago
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆39Updated this week
• peter-frentrup / pMath
  pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…
  ☆10Updated last week
• 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
• jack-pappas / fsharp-logic-examples
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
  ☆180Updated 9 years ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆21Updated last year
• LanguageDev / Yoakke
  A collection of libraries for implementing compilers in .NET.
  ☆150Updated 3 months ago
• pragmatrix / ScanRat
  ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
  ☆61Updated 5 years ago