Alternatives and similar repositories for GeometricTheoremProver.jl

Users that are interested in GeometricTheoremProver.jl are comparing it to the libraries listed below

• JuliaSymbolics / SymbolicSMT.jl
  Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
  ☆36Updated last month
• JuliaIntervals / IntervalLinearAlgebra.jl
  Linear algebra done rigorously
  ☆39Updated last year
• RelationalAI-oss / Rematch.jl
  Pattern matching
  ☆55Updated 3 years ago
• JuliaCompilerPlugins / Mixtape.jl
  A static method overlay and optimization tool with configurable code generation and execution.
  ☆53Updated 3 years ago
• JuliaAlgebra / SemialgebraicSets.jl
  Extension of MultivariatePolynomials to semialgebraic sets
  ☆22Updated last year
• dpsanders / ReversePropagation.jl
  ☆55Updated last year
• SciML / Static.jl
  Static types useful for dispatch and generated functions.
  ☆62Updated last month
• Seelengrab / MCUCompiler.jl
  ☆24Updated last year
• JuliaReach / RangeEnclosures.jl
  Enclosures of real-valued functions in Julia
  ☆23Updated last week
• dfdx / Umlaut.jl
  The Code Tracer
  ☆34Updated last year
• Roger-luo / Expronicon.jl
  Collective tools for metaprogramming on Julia Expr
  ☆92Updated last month
• thautwarm / Virtual.jl
  ☆42Updated 3 years ago
• JuliaTesting / ExprTools.jl
  Light-weight expression manipulation tools
  ☆82Updated this week
• oxinabox / Tricks.jl
  Cunning tricks though the julia compiler internals
  ☆87Updated 3 months ago
• JuliaConcurrent / Julio.jl
  Structured Concurrency for Julia
  ☆29Updated 4 years ago
• MikeInnes / Effects.jl
  Like a kick in the monads
  ☆42Updated 3 years ago
• tkf / Kaleido.jl
  Some useful lenses
  ☆35Updated 2 weeks ago
• scheinerman / Permutations.jl
  Permutations class for Julia.
  ☆56Updated 2 months ago
• elsoroka / Satisfiability.jl
  Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
  ☆52Updated 2 weeks ago
• SimonDanisch / UnicodeFun.jl
  Functions to transform text into unicode symbols, e.g. latex --> unicode
  ☆33Updated 5 months ago
• saschatimme / ImplicitPlots.jl
  Julia package for the plotting of plane curves and surfaces
  ☆28Updated 2 years ago
• serenity4 / SymbolicGA.jl
  Geometric algebra transformations at compile-time
  ☆24Updated last month
• thautwarm / MatchCore.jl
  non-extensible/hardcoded pattern matching, core of MLStyle
  ☆16Updated 4 years ago
• dfdx / Ghost.jl
  The Code Tracer
  ☆48Updated 4 years ago
• cormullion / Zalgo.jl
  J̳̋ͪ︡ų̔l̲̮̲̏̆͋i͖͈̬̭ͭ̄a̬ͯ a̖̖̝ͬͨ͢p̘͓̣̄̕p̯ͥ̍͘r̯ͧ̄o̘̖̮͌̚ã͔̍ͣc̗ͪh̨͗︢e̚s̡̡︡ͮ͐
  ☆48Updated last year
• baggepinnen / AutomaticDocstrings.jl
  Automatically generated docstring stubs
  ☆28Updated 2 years ago
• timholy / MethodAnalysis.jl
  Utilities to analyze Julia's method tables
  ☆96Updated last month
• chakravala / AbstractTensors.jl
  Tensor algebra abstract type interoperability setup
  ☆44Updated 5 months ago
• JuliaMath / Richardson.jl
  Richardson extrapolation in Julia
  ☆64Updated last month
• SciML / MuladdMacro.jl
  This package contains a macro for converting expressions to use muladd calls and fused-multiply-add (FMA) operations for high-performance…
  ☆50Updated last month