dolcos
Follow
Lists (32)
Algorithms
11 repositories
Bayes
42 repositories
Bayesian Networks
11 repositories
Books
95 repositories
Causal
28 repositories
Course
24 repositories
Data Science
150 repositories
Data Visualization
69 repositories
DAX
2 repositories
Deep Learning
24 repositories
DuckDB
6 repositories
Econometrics
16 repositories
Finance
7 repositories
Geo
1 repository
Julia
61 repositories
Lean
3 repositories
Machine Learning
60 repositories
Math
16 repositories
NLP-TextMining
3 repositories
Open Data
25 repositories
Papers
9 repositories
Probabilistic Machine Learning
8 repositories
Python
54 repositories
R
272 repositories
Reinforcement Learning
7 repositories
Risk
6 repositories
SAS
3 repositories
Scientific Programming
139 repositories
SEM
2 repositories
Sequential Decision Analytics
7 repositories
Statistics
91 repositories
Time Series
9 repositories
Starred repositories
3
stars
written in Java
Clear filter
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
HyperGraphDB is a general purpose, extensible, portable, distributed, embeddable, open-source data storage mechanism. It is a graph database designed specifically for artificial intelligence and se…
