AdrianButnar
Follow
Stars
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Bayesian Modeling and Probabilistic Programming in Python
Magnificent app which corrects your previous console command.
An open-source, motorized, and modular microscope built using LEGO bricks, Arduino, Raspberry Pi and 3D printing.
A bridge between Lichess bots and chess engines
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Darwin/macOS emulation layer for Linux
oklemenz / PrinceJS
Forked from ultrabolido/PrinceJSPrince of Persia reimplementation written in HTML5 / JavaScript
A pytorch-based deep learning framework for multi-modal 2D/3D medical image segmentation
A Python library for quantum programming using Quil.
EPFL summaries & cheatsheets over 5 years (computer science, communication systems, data science and computational neuroscience).
Material inspired stylesheet for PySide2, PySide6, PyQt5 and PyQt6
Simple Binary Encoding (SBE) - High Performance Message Codec
Turn (almost) any Python command line program into a full GUI application with one line
A framework for Medical Image Segmentation with Convolutional Neural Networks and Deep Learning
Visualizer for neural network, deep learning and machine learning models
An index of algorithms for learning causality with data
Scrapy, a fast high-level web crawling & scraping framework for Python.
A large-scale dataset of both raw MRI measurements and clinical MRI images.
Zipline, a Pythonic Algorithmic Trading Library
Hydra is a framework for elegantly configuring complex applications
The repository for the Machine Learning and Big Data with kdb+/q book by Novotny et al.
Simple and reliable optimization with local, global, population-based and sequential techniques in numerical discrete search spaces.
Investment Research for Everyone, Everywhere.
One second to read GitHub code with VS Code.