Shawn Morel's repositories
cart-cube
Cartesian Cubical Type Theory
dash-extensions
The dash-extensions package is a collection of utility functions, syntax extensions, and Dash components that aim to improve the Dash development experience
dbt-idea-plugin
DBT Idea Plugin
dotfiles
Config files for ZSH, Java, Ruby, Go, Editors, Terminals and more.
fastbook
The fastai book, published as Jupyter Notebooks
home-manager
Manage a user environment using Nix [maintainer=@rycee]
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
kotlin-script-examples
Examples of Kotlin Scripts and usages of the Kotlin Scripting API
mojo-exploration
Playing around with mojo
nats.py
Python3 client for NATS
polars
Fast multi-threaded, hybrid-streaming DataFrame library in Rust | Python | Node.js
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
rethinking
Statistical Rethinking course and book package
rocket-chip
Rocket Chip Generator
statrethinking_winter2019
Statistical Rethinking course at MPI-EVA from Dec 2018 through Feb 2019
streamlit-example
Example Streamlit app that you can fork to test out share.streamlit.io
swift-package-manager
The Package Manager for the Swift Programming Language
website
Pyro website