Alternatives and similar repositories for Procedural-Building-Generator

Users that are interested in Procedural-Building-Generator are comparing it to the libraries listed below

• samskivert / compose
  An experimental programming language.
  ☆19Updated 6 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated last month
• ShiJbey / neighborly
  A narrative-focused agent-based settlement simulation framework.
  ☆68Updated 2 months ago
• stefalie / shapeml
  ShapeML is a rule- or grammar-based procedural 3D modeling framework.
  ☆86Updated 2 years ago
• seanohue / wren-beak
  A functional programming library written for the Wren scripting language.
  ☆15Updated 7 years ago
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆85Updated last year
• droduit / procedural-terrain-generation
  Procedural terrain generator recreating the Swiss topology
  ☆30Updated 6 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• merrell42 / model-synthesis
  Model synthesis is a technique for generating 2D and 3D shapes from examples.
  ☆189Updated last year
• blitzcode / ray-marching-distance-fields
  Haskell and GLSL program containing my distance field / ray marching related experiments
  ☆35Updated 9 years ago
• dwarfmaster / commutative-diagrams
  A coq plugin to deal with commutative diagrams
  ☆22Updated 2 months ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• OCADml / OCADml
  Computer Aided Design (CAD) in OCaml
  ☆18Updated 2 years ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 3 weeks ago
• TOTBWF / teenytt
  A Teeny Type Theory
  ☆27Updated 3 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• naalit / durin
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Updated 3 years ago
• LordOfDragons / democap
  Drag[en]gine Motion Capture
  ☆26Updated last week
• GaloisInc / lustre
  A parser and AST for Lustre
  ☆12Updated 10 months ago
• aqsis / RIBMosaic
  The official version of the Blender to Renderman plugin, designed for production use.
  ☆10Updated 9 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 8 months ago
• lightbits / fast-csg
  A native GPU bytecode compiler for constructive solid geometry
  ☆23Updated 6 years ago
• msp-strath / cs316-functional-programming
  CS316 "Functional Programming" lecture notes
  ☆16Updated this week
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆16Updated 2 weeks ago
• weigert / SimpleTectonics
  Procedural Plate Tectonics using Clustered Convection
  ☆22Updated 3 years ago