Alternatives and similar repositories for pandoc-symreg:

Users that are interested in pandoc-symreg are comparing it to the libraries listed below

• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated 3 weeks ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆34Updated this week
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆11Updated 10 months ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 5 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• andriusstank / downhill
  ☆20Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 4 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated this week
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆17Updated 5 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• phadej / cabal-sat
  Using cabal-install as SAT solver
  ☆13Updated last year
• lambda-11235 / ttyped
  A simple dependently typed language based on the Calculus of Constructions.
  ☆16Updated 4 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated 8 months ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 4 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆25Updated 2 years ago
• konn / ad-delcont-primop
  ☆17Updated 2 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆19Updated last year
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last month
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year