Alternatives and similar repositories for DependoBuf

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

• aerobus-open-source / aerobus
  A C++ template library for polynomials algebra over discrete integral domains
  ☆11Updated 7 months ago
• DimaTrushin / Term-Paper-LaTeX-Template
  ☆17Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated 2 weeks ago
• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆65Updated 10 months ago
• danyaberezun / compilers-supplementary
  ☆11Updated last month
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated 3 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆33Updated 2 months ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆26Updated last month
• prl-julia / julia-type-stability
  ☆10Updated 2 years ago
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆49Updated last month
• sumiya11 / Groebner.jl
  Groebner bases in (almost) pure Julia
  ☆74Updated 2 weeks ago
• timholy / BasicBlockRewriter.jl
  Code-regrouping to reduce latency in Julia code compilation
  ☆15Updated 3 years ago
• JuliaCompilerPlugins / CompilerPluginTools.jl
  collective tools for Julia SSA IR.
  ☆29Updated 2 years ago
• x3042 / ExactODEReduction.jl
  Exact reduction of ODE models via linear transformations
  ☆12Updated last year
• dylanpeifer / deepgroebner
  Applications of reinforcement learning to Groebner basis computation.
  ☆15Updated 4 years ago
• JuliaSymbolics / TermInterface.jl
  Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
  ☆41Updated 2 weeks ago
• oscar-system / Singular.jl
  Julia package for the Singular library
  ☆35Updated this week
• Roger-luo / ExproniconLite.jl
  no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.
  ☆17Updated 10 months ago
• elsoroka / Satisfiability.jl
  Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
  ☆51Updated 3 weeks ago
• TuringLang / Libtask.jl
  Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.
  ☆21Updated this week
• AlgebraicJulia / DiagrammaticEquations.jl
  ☆16Updated last week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆101Updated last year
• rikhuijzer / xrcf
  A modern library for building production-grade compilers
  ☆18Updated 10 months ago
• control-toolbox / CTBase.jl
  Fundamentals of the control-toolbox ecosystem
  ☆13Updated last week
• JuliaStaging / NameResolution.jl
  A package for your code to understand scoping rules(including mutability of free variables).
  ☆18Updated 4 years ago
• ahumenberger / Z3.jl
  Julia interface to Z3
  ☆71Updated 3 weeks ago
• angusev / coursework_template
  LaTeX template for HSE coursework
  ☆24Updated 3 years ago
• Pangoraw / Coil.jl
  ꩜ Lift Julia array operations to MLIR dialects and run using IREE.
  ☆41Updated 11 months ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 3 years ago