Dan Oneață's starred repositories

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

umap

Uniform Manifold Approximation and Projection

Language:PythonLicense:BSD-3-ClauseStargazers:6892Issues:129Issues:760

sofp

A free book: "The Science of Functional Programming"

Language:TeXLicense:GPL-2.0Stargazers:1250Issues:48Issues:44

MiniChain

A tiny library for coding with large language models.

Language:PythonLicense:MITStargazers:1166Issues:15Issues:10

data

A PyTorch repo for data loading and utilities to be shared by the PyTorch domain libraries.

Language:PythonLicense:BSD-3-ClauseStargazers:1061Issues:36Issues:471

LaPreprint

📝 A nicely formatted LaTeX preprint template

Language:TeXLicense:MITStargazers:541Issues:8Issues:29

Laplace

Laplace approximations for Deep Learning.

Language:PythonLicense:MITStargazers:399Issues:11Issues:99

betty

Betty: an automatic differentiation library for generalized meta-learning and multilevel optimization

Language:PythonLicense:Apache-2.0Stargazers:320Issues:9Issues:11
Language:Jupyter NotebookLicense:MITStargazers:283Issues:6Issues:4

tylr

a tiny tile-based editor

Language:ReasonLicense:MITStargazers:261Issues:14Issues:5

confidenceinterval

The long missing library for python confidence intervals

Language:PythonLicense:MITStargazers:110Issues:5Issues:5

fp

A small, weird and unpractical programming language.

Language:HaskellLicense:MITStargazers:102Issues:2Issues:0

devwriting

All resources & exercises from the Miami Dev Writer's Retreat

cmu-10732-robustness-adaptivity-shift

Official repository for CMU Machine Learning Department's 10732: Robustness and Adaptivity in Shifting Environments

catgrad

a categorical deep learning compiler

Language:PythonLicense:AGPL-3.0Stargazers:72Issues:7Issues:2

torchdeq

Modern Fixed Point Systems using Pytorch

Language:PythonLicense:MITStargazers:53Issues:5Issues:0

awesome-double-categories

A list of works and resources about double category theory, with a particular focus on applications.

License:BSD-3-ClauseStargazers:13Issues:5Issues:0

pipelined-state-machines

An experiment in declaratively programming parallel pipelines of state machines.

Language:HaskellLicense:MITStargazers:13Issues:3Issues:0

fine-grained-evals

[ACL 2023] Code and data for our paper "Measuring Progress in Fine-grained Vision-and-Language Understanding"

Language:Jupyter NotebookLicense:MITStargazers:12Issues:0Issues:0
Language:RLicense:MITStargazers:12Issues:0Issues:0

CS410-22

being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session

Language:AgdaStargazers:11Issues:0Issues:0

yfacc

YFACC: A Yorùbá speech-image dataset for cross-lingual keyword localisation through visual grounding

Language:SCSSStargazers:6Issues:0Issues:0

torch-mechanics

Amateur experiments with autodiff mechanics simulators

CS410-2024

Content of the CS410 lectures

Language:AgdaLicense:GPL-3.0Stargazers:5Issues:0Issues:0
Language:PythonStargazers:3Issues:0Issues:0
Language:LeanStargazers:2Issues:0Issues:0

propositions-as-types

Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers

Language:CoqLicense:MITStargazers:2Issues:1Issues:0