Pinned Repositories
gpyreg
Lightweight Gaussian process regression package in Python.
pyvbmc
PyVBMC: Variational Bayesian Monte Carlo algorithm for posterior and model inference in Python
dart_console
Dart library for writing console applications
EFRConnect-ios
This is the source code for the EFR Connect application for iOS.
Hakkapeliitta
A state of the art chess engine written in C++11
Serkr
An automated theorem prover for first order logic.
mAarnos's Repositories
mAarnos/Hakkapeliitta
A state of the art chess engine written in C++11
mAarnos/Serkr
An automated theorem prover for first order logic.
mAarnos/dart_console
Dart library for writing console applications