PhDP

neuronika

Tensors and dynamic neural networks in pure Rust.

rustdoc-katex-demo

This crate demonstrates an approach to including KaTeX in Rust docs

principia

The Principia Rewrite

artichoke

💎 Artichoke is a Ruby made with Rust

deep-diamond

A fast Clojure Tensor & Deep Learning library

bayesoptbook.github.io

Companion webpage for the book "Bayesian Optimization" by Roman Garnett

mathport

Mathport is a tool for porting Lean3 projects to Lean4

lean4-raytracer

A simple raytracer written in Lean 4

rustc_codegen_gcc

libgccjit AOT codegen for rustc

onehalf

Clean, vibrant and pleasing color schemes for Vim, Sublime Text, iTerm, gnome-terminal and more.

autogluon

Fast and Accurate ML in 3 Lines of Code

morloc

A typed, polyglot, functional language

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

neural_testbed

CLBlast

Tuned OpenCL BLAS

RandomCL

OpenCL library implementing more than 20 different random number generators

tc

Reference type checker for the Lean theorem prover

unordered-containers

Efficient hashing-based container types

plotters

A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

romaji

Romaji-Kana transliterator in Rust

StatisticalRethinking.jl

Julia package with selected functions in the R package `rethinking`. Used in the SR2... projects.

hackett

WIP implementation of a Haskell-like Lisp in Racket

juice

The Hacker's Machine Learning Engine

pie-hs

An implementation of Pie in Haskell

SciMLBook

Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)

cryptonite

lowlevel set of cryptographic primitives for haskell

haskell-vim

Custom Haskell Vimscripts

ms_network_prediction

Making better network predictions through ML - done right!

mm0

Metamath Zero specification language

pltalk

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur