daniel-vainsencher Goto Github PK

aider

aider is AI pair programming in your terminal

asdca

generic accelerated sdca

auto_iterative_numerical_algorithms

Playground for implementing a class of algorithms in Haskell using the auto library.

burn

Burn - A Flexible and Comprehensive Deep Learning Framework in Rust

climin

Optimizers for machine learning

code

cycle-philly-android

CyclePhilly Android

darts

A python library for easy manipulation and forecasting of time series.

datasets_original

This is a catalog for the datatsets

deepspeedexamples

Example models using DeepSpeed

dense_mats

Traits to abstract over sparse matrices in rust

dsf-ts-forecasting

Time series forecasting in python

fmt-rfcs

RFCs for Rust formatting guidelines and changes to Rustfmt

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

ghettorss

A true offline RSS reader

gpslogger

Lightweight GPS Logging Application For Android. Available on the Android Market as "GPSLogger for Android"

haskell-multi-armed-bandits

Haskell implementation of MAB algorithms

hledger

The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.

hmm

hprof

A real-time hierarchical profiler

iterative_methods_rs

Iterative methods as StreamingIterators

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lightning

Large-scale linear classification, regression and ranking in Python

linfa

A Rust machine learning framework.

lshforestpaper

Paper for LSHForest implementation

mathlib4

The math library of Lean 4

maybe-repro-cargo-bug

mdbook

Create book from markdown files. Like Gitbook but implemented in Rust

mnist1d

A 1D analogue of the MNIST dataset for measuring spatial biases and answering "science of deep learning" questions.

nbdev

Create delightful software with Jupyter Notebooks