hollisticgit - Overview
Popular repositories Loading
-
VerifAI VerifAI Public
Forked from BerkeleyLearnVerify/VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Python 1
-
virtualxt_OS virtualxt_OS Public
Forked from p-durlej/virtualxt
A portable, lightweight Turbo PC/XT emulator written in C.
C 1
-
Lean Lean Public
Forked from QuantConnect/Lean
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
C#
-
tinygrad tinygrad Public
Forked from tinygrad/tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
Python
-
qc_docs qc_docs Public
Forked from QuantConnect/Documentation
QuantConnect Wiki Style Documentation Behind QuantConnect
HTML