Projects in Awesome Lists tagged with compositional
A curated list of projects in awesome lists tagged with compositional .
https://github.com/sintefmath/jutuldarcy.jl
Darcy flow and reservoir simulator based on Jutul.jl
blackoil carbon-sequestration co2-storage compositional darcy-flow geothermal julia mpi porous-media-flow reservoir-simulation simulation wells
Last synced: 05 Apr 2025
https://github.com/sdasgup3/validating-binary-decompilation
Scalable Validator for Binary Lifters
compositional decompilation equivalence-checker llvm-ir validation x86-64 z3-smt-solver
Last synced: 12 Apr 2025
https://github.com/christimperley/fluffycow
A small and powerful DSL for generating complex random objects in Python 🐄
compositional dsl fuzzing python testing
Last synced: 22 Feb 2025
