![bash logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/bash/bash.png)
Block or Report
Block or report neuroevolutus
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (6)
Sort Oldest
Language
Sort by: Recently starred
Starred repositories
The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".
Here are the notebooks for the Gaussian Processes and Bayesian Optimization course. The notebooks can be executed in Google Colab.
A unified framework for tabular probabilistic regression and probability distributions in python
Existing Literature about Machine Unlearning
Hypergraph Neural Network-Based Combinatorial Optimization
This repository provides an opinionated tutorial on building Kubernetes controllers, sharing best practices and design patterns I have found most effective
A research language with effect handlers and lightweight effect polymorphism
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
A curated list of awesome SIMD frameworks, libraries and software
Implementations of SIMD instruction sets for systems which don't natively support them.
Lower bounds for hypothesis testing and estimation, in Lean
K Junior is an MIT licensed open source array language written by Arthur Whitney.
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Highly customizable startup screen for Emacs.
Simple, Business-friendly Decisions Engine for Scala