Alternatives and similar repositories for lsystem_optimization:

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

• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• mzucker / imfit
  Image fitting with Gabor functions
  ☆27Updated 7 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• EricZinda / InductorProlog
  Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
  ☆12Updated last year
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 3 weeks ago
• Atrix256 / MIS
  Basic multiple importance sampling, in 1d
  ☆21Updated 4 years ago
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 3 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• bfraboni / vptree-draw
  Space partitioning structures visualization
  ☆42Updated 2 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆58Updated 5 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆17Updated 4 years ago
• chrisamaphone / sestina
  Tinkering with creating a functional programming language for procedural content generation.
  ☆18Updated 5 months ago
• netgrif / petriflow
  Next-generation end-to-end low code language based on Petri nets.
  ☆17Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• godefv / math
  This is a C++ math library, with a focus on geometry.
  ☆29Updated 4 years ago
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 5 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• fogleman / tracer
  Global illumination path tracer in C++
  ☆30Updated 5 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated last week
• Atrix256 / DitherFindGradientDescent
  Blog post code
  ☆14Updated 7 years ago
• libalf / libalf
  The Automata Learning Framework
  ☆17Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• janivanecky / nsdf
  ☆13Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• bartwronski / BlogPostsExtraMaterial
  ☆22Updated 2 years ago