All Projects → Lime → Similar Projects or Alternatives

159 Open source projects that are alternatives of or similar to Lime

Deli
Stars: ✭ 148 (-66.21%)
Mutual labels:  modeling, model-checking
PVSystems
A Modelica library for photovoltaic system and power converter design
Stars: ✭ 20 (-95.43%)
Mutual labels:  modeling
NCAA Hoops
All the files used in my NCAA Men's Basketball modeling, predictions, bracketology, and Ivy League simulations.
Stars: ✭ 39 (-91.1%)
Mutual labels:  modeling
computational-neuroscience
Short 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%)
Mutual labels:  modeling
AdTree
Accurate, Detailed, and Automatic Modelling of Laser-Scanned Trees
Stars: ✭ 88 (-79.91%)
Mutual labels:  modeling
Fusion360WrapSketch
Wrap sketch curves around a cylinder
Stars: ✭ 33 (-92.47%)
Mutual labels:  modeling
hodur-lacinia-schema
Hodur 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%)
Mutual labels:  modeling
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (-38.36%)
Mutual labels:  model-checking
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-96.8%)
Mutual labels:  model-checking
ts4health
Time Series Data Analysis, Visualization and Forecasting with Python for Health and Self
Stars: ✭ 17 (-96.12%)
Mutual labels:  modeling
poesy
Poetry generation via natural language markov models
Stars: ✭ 56 (-87.21%)
Mutual labels:  modeling
legend-engine
Legend Engine module
Stars: ✭ 33 (-92.47%)
Mutual labels:  modeling
Scorecard-Modeling
Use Machine learning to build scorecard model
Stars: ✭ 26 (-94.06%)
Mutual labels:  modeling
Stormwater-Management-Model
Open Water Analytics Stormwater Management Model repository
Stars: ✭ 71 (-83.79%)
Mutual labels:  modeling
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (-36.76%)
Mutual labels:  model-checking
hms-3d-modeling-demo
HUAWEI 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%)
Mutual labels:  modeling
Mote3D toolbox
Toolbox for particulate microstructure modelling
Stars: ✭ 36 (-91.78%)
Mutual labels:  modeling
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
Stars: ✭ 17 (-96.12%)
Mutual labels:  model-checking
Cascadestudio
A Full Live-Scripted CAD Kernel in the Browser
Stars: ✭ 344 (-21.46%)
Mutual labels:  modeling
albion
Migrated to: https://gitlab.com/Oslandia/albion
Stars: ✭ 47 (-89.27%)
Mutual labels:  modeling
jayhorn
Static checker for Java
Stars: ✭ 54 (-87.67%)
Mutual labels:  model-checking
avr
Reads a state transition system and performs property checking
Stars: ✭ 41 (-90.64%)
Mutual labels:  model-checking
Efdesigner
Entity Framework visual design surface and code-first code generation for EF6, Core and beyond
Stars: ✭ 256 (-41.55%)
Mutual labels:  modeling
COMOKIT-Model
A GAMA (http://gama-platform.org) model on the assessment and comparisons of intervention policies against the CoVid19 pandemics
Stars: ✭ 23 (-94.75%)
Mutual labels:  modeling
copulae
Multivariate data modelling with Copulas in Python
Stars: ✭ 96 (-78.08%)
Mutual labels:  modeling
palladio
Palladio enables the execution of CityEngine CGA rules inside of SideFX Houdini.
Stars: ✭ 92 (-79%)
Mutual labels:  modeling
Arteries
A procedural modeling toolkit base on UE4 blueprint
Stars: ✭ 92 (-79%)
Mutual labels:  modeling
pymadcad
Simple yet powerful CAD (Computer Aided Design) library, written with Python.
Stars: ✭ 63 (-85.62%)
Mutual labels:  modeling
VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Stars: ✭ 20 (-95.43%)
Mutual labels:  model-checking
Sealion
The first machine learning framework that encourages learning ML concepts instead of memorizing class functions.
Stars: ✭ 278 (-36.53%)
Mutual labels:  modeling
phd-resources
Internet Delivered Treatment using Adaptive Technology
Stars: ✭ 37 (-91.55%)
Mutual labels:  modeling
Vehicle-Dynamics-Lateral
OpenVD: Vehicle Dynamics - Lateral
Stars: ✭ 50 (-88.58%)
Mutual labels:  modeling
geometry sketcher
Constraint-based geometry sketcher for blender
Stars: ✭ 1,119 (+155.48%)
Mutual labels:  modeling
Jetuml
A desktop application for fast UML diagramming.
Stars: ✭ 346 (-21%)
Mutual labels:  modeling
emfcloud
Components and frameworks for building web-based modeling tools
Stars: ✭ 17 (-96.12%)
Mutual labels:  modeling
libROM
Model reduction library with an emphasis on large scale parallelism and linear subspace methods
Stars: ✭ 66 (-84.93%)
Mutual labels:  modeling
polyReorder
Maya plugin with tools to reorder the vertices on a mesh to match the order of another.
Stars: ✭ 21 (-95.21%)
Mutual labels:  modeling
Tool lists
Links to tools by subject
Stars: ✭ 270 (-38.36%)
Mutual labels:  model-checking
DSTC6-End-to-End-Conversation-Modeling
DSTC6: End-to-End Conversation Modeling Track
Stars: ✭ 56 (-87.21%)
Mutual labels:  modeling
Covid-19-analysis
Analysis with Covid-19 data
Stars: ✭ 49 (-88.81%)
Mutual labels:  modeling
mCRL2
The Git repository for the mCRL2 toolset.
Stars: ✭ 67 (-84.7%)
Mutual labels:  model-checking
Gempy
GemPy 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%)
Mutual labels:  modeling
vs-code-bpmn-io
Edit BPMN 2.0 files. Based on bpmn.io tools.
Stars: ✭ 87 (-80.14%)
Mutual labels:  modeling
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (-51.37%)
Mutual labels:  model-checking
mixedvines
Python package for canonical vine copula trees with mixed continuous and discrete marginals
Stars: ✭ 36 (-91.78%)
Mutual labels:  modeling
Cobrapy
COBRApy is a package for constraint-based modeling of metabolic networks.
Stars: ✭ 267 (-39.04%)
Mutual labels:  modeling
ermasterr
A fork of ERMaster. Faster, Better, VCS-friendly.
Stars: ✭ 27 (-93.84%)
Mutual labels:  modeling
data-science-notes
Open-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%)
Mutual labels:  modeling
priceR
Economics and Pricing in R
Stars: ✭ 32 (-92.69%)
Mutual labels:  modeling
Blockingqueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: ✭ 343 (-21.69%)
Mutual labels:  model-checking
AMICI
Advanced Multilanguage Interface to CVODES and IDAS
Stars: ✭ 80 (-81.74%)
Mutual labels:  modeling
legend-sdlc
Legend SDLC module
Stars: ✭ 24 (-94.52%)
Mutual labels:  modeling
Telewavesim
Teleseismic body wave modeling through stacks of (submarine/anisotropic) layers
Stars: ✭ 41 (-90.64%)
Mutual labels:  modeling
p5-HackaMol
Object-Oriented Perl 5, Moose Library for Molecular Hacking
Stars: ✭ 12 (-97.26%)
Mutual labels:  modeling
legend-studio
Legend Studio
Stars: ✭ 53 (-87.9%)
Mutual labels:  modeling
react-visual-modeling
A DAG React Component for visualization modeling, suitable for UML, database modeling, data warehouse construction.(一个基于React的数据可视化建模的DAG图,适用于UML,数据库建模,数据仓库建设等业务)
Stars: ✭ 96 (-78.08%)
Mutual labels:  modeling
Plaitpy
plait.py - a fake data modeler
Stars: ✭ 416 (-5.02%)
Mutual labels:  modeling
Gaphor
Gaphor is the simple modeling tool
Stars: ✭ 386 (-11.87%)
Mutual labels:  modeling
Simpeg
Simulation 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%)
Mutual labels:  modeling
VIATRA-Generator
An efficient graph solver for generating well-formed models
Stars: ✭ 21 (-95.21%)
Mutual labels:  modeling
1-60 of 159 similar projects