Deli Stars: ✭ 148 (-66.21%)
PVSystemsA Modelica library for photovoltaic system and power converter design
Stars: ✭ 20 (-95.43%)
NCAA HoopsAll the files used in my NCAA Men's Basketball modeling, predictions, bracketology, and Ivy League simulations.
Stars: ✭ 39 (-91.1%)
computational-neuroscienceShort undergraduate course taught at University of Pennsylvania on computational and theoretical neuroscience. Provides an introduction to programming in MATLAB, single-neuron models, ion channel models, basic neural networks, and neural decoding.
Stars: ✭ 36 (-91.78%)
AdTreeAccurate, Detailed, and Automatic Modelling of Laser-Scanned Trees
Stars: ✭ 88 (-79.91%)
hodur-lacinia-schemaHodur is a domain modeling approach and collection of libraries to Clojure. By using Hodur you can define your domain model as data, parse and validate it, and then either consume your model via an API or use one of the many plugins to help you achieve mechanical results faster and in a purely functional manner.
Stars: ✭ 20 (-95.43%)
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (-38.36%)
intrepidIntrepyd Model Checker
Stars: ✭ 14 (-96.8%)
ts4healthTime Series Data Analysis, Visualization and Forecasting with Python for Health and Self
Stars: ✭ 17 (-96.12%)
poesyPoetry generation via natural language markov models
Stars: ✭ 56 (-87.21%)
ConcuerrorConcuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (-36.76%)
hms-3d-modeling-demoHUAWEI 3D Modeling Kit project contains a sample app. Guided by this demo, you will be able to implement full 3D Modeling Kit capabilities, including 3D object reconstruction and material generation.
Stars: ✭ 45 (-89.73%)
Mote3D toolboxToolbox for particulate microstructure modelling
Stars: ✭ 36 (-91.78%)
ITSToolsA multi-formalism, multi-solution model-checker centered on the language GAL
Stars: ✭ 17 (-96.12%)
CascadestudioA Full Live-Scripted CAD Kernel in the Browser
Stars: ✭ 344 (-21.46%)
albionMigrated to: https://gitlab.com/Oslandia/albion
Stars: ✭ 47 (-89.27%)
jayhornStatic checker for Java
Stars: ✭ 54 (-87.67%)
avrReads a state transition system and performs property checking
Stars: ✭ 41 (-90.64%)
EfdesignerEntity Framework visual design surface and code-first code generation for EF6, Core and beyond
Stars: ✭ 256 (-41.55%)
COMOKIT-ModelA GAMA (http://gama-platform.org) model on the assessment and comparisons of intervention policies against the CoVid19 pandemics
Stars: ✭ 23 (-94.75%)
copulaeMultivariate data modelling with Copulas in Python
Stars: ✭ 96 (-78.08%)
palladioPalladio enables the execution of CityEngine CGA rules inside of SideFX Houdini.
Stars: ✭ 92 (-79%)
ArteriesA procedural modeling toolkit base on UE4 blueprint
Stars: ✭ 92 (-79%)
pymadcadSimple yet powerful CAD (Computer Aided Design) library, written with Python.
Stars: ✭ 63 (-85.62%)
VERDICTDARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Stars: ✭ 20 (-95.43%)
SealionThe first machine learning framework that encourages learning ML concepts instead of memorizing class functions.
Stars: ✭ 278 (-36.53%)
phd-resourcesInternet Delivered Treatment using Adaptive Technology
Stars: ✭ 37 (-91.55%)
geometry sketcherConstraint-based geometry sketcher for blender
Stars: ✭ 1,119 (+155.48%)
JetumlA desktop application for fast UML diagramming.
Stars: ✭ 346 (-21%)
emfcloudComponents and frameworks for building web-based modeling tools
Stars: ✭ 17 (-96.12%)
libROMModel reduction library with an emphasis on large scale parallelism and linear subspace methods
Stars: ✭ 66 (-84.93%)
polyReorderMaya plugin with tools to reorder the vertices on a mesh to match the order of another.
Stars: ✭ 21 (-95.21%)
Tool listsLinks to tools by subject
Stars: ✭ 270 (-38.36%)
mCRL2The Git repository for the mCRL2 toolset.
Stars: ✭ 67 (-84.7%)
GempyGemPy is an open-source, Python-based 3-D structural geological modeling software, which allows the implicit (i.e. automatic) creation of complex geological models from interface and orientation data. It also offers support for stochastic modeling to adress parameter and model uncertainties.
Stars: ✭ 396 (-9.59%)
vs-code-bpmn-ioEdit BPMN 2.0 files. Based on bpmn.io tools.
Stars: ✭ 87 (-80.14%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (-51.37%)
mixedvinesPython package for canonical vine copula trees with mixed continuous and discrete marginals
Stars: ✭ 36 (-91.78%)
CobrapyCOBRApy is a package for constraint-based modeling of metabolic networks.
Stars: ✭ 267 (-39.04%)
ermasterrA fork of ERMaster. Faster, Better, VCS-friendly.
Stars: ✭ 27 (-93.84%)
data-science-notesOpen-source project hosted at https://makeuseofdata.com to crowdsource a robust collection of notes related to data science (math, visualization, modeling, etc)
Stars: ✭ 52 (-88.13%)
priceREconomics and Pricing in R
Stars: ✭ 32 (-92.69%)
BlockingqueueTutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: ✭ 343 (-21.69%)
AMICIAdvanced Multilanguage Interface to CVODES and IDAS
Stars: ✭ 80 (-81.74%)
TelewavesimTeleseismic body wave modeling through stacks of (submarine/anisotropic) layers
Stars: ✭ 41 (-90.64%)
p5-HackaMolObject-Oriented Perl 5, Moose Library for Molecular Hacking
Stars: ✭ 12 (-97.26%)
react-visual-modelingA DAG React Component for visualization modeling, suitable for UML, database modeling, data warehouse construction.(一个基于React的数据可视化建模的DAG图,适用于UML,数据库建模,数据仓库建设等业务)
Stars: ✭ 96 (-78.08%)
Plaitpyplait.py - a fake data modeler
Stars: ✭ 416 (-5.02%)
GaphorGaphor is the simple modeling tool
Stars: ✭ 386 (-11.87%)
SimpegSimulation and Parameter Estimation in Geophysics - A python package for simulation and gradient based parameter estimation in the context of geophysical applications.
Stars: ✭ 283 (-35.39%)
VIATRA-GeneratorAn efficient graph solver for generating well-formed models
Stars: ✭ 21 (-95.21%)