theory topic

Reinforcement learning theory book about foundations of deep RL algorithms with proofs.

FortsAndMills

Coq formalizations of functional languages.

discus-lang

Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation

michaeldorner

Technologies I've learned

ehmicky

Techniques, advice, and anecdotes about how to teach Functional Programming

expede

A structured collection of notes (mostly, on machine learning) and a Flask app for reading and searching them.

Nikolay-Lysenko

Codebase to accompany the book: A Hitchhiker’s Guide to Multiple Scattering

eugenedeon

Swift library for music theory

AudioKit

Scientific Python package for solving Slater Koster tight-binding topological hamiltonian

santoshkumarradha

:star: General Architercture, Front end & Procedure knowledge :star:

stmoreau