juanbelieni
Follow
Lists (6)
Stars
Hugo documentation theme as simple as plain book
Improved version of the technical workshops for the 10-day ML4G camp on safety of AI systems
The most customisable and low-latency cross platform/shell prompt renderer
Custom build of Iosevka with different style and metrics than the default.
Terminal UI library with rich, interactive widgets — written in Golang
You like pytorch? You like micrograd? You love tinygrad! ❤️
Typst package for drawing diagrams with arrows, built on top of CeTZ.
How Powerful are Graph Neural Networks?
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
An experimental language for causal reasoning
Materials of the Tropical Probabilistic AI School 2024.
A package for creating slides in Typst
More powerful and customizable tables in Typst
An implementation of numbered theorem environments in typst
Relative positioning by pins, especially useful for making slides in typst.
Simple, minimal implementation of the Mamba SSM in one file of PyTorch.
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
GPU-Jupyter: Leverage the flexibility of Jupyterlab through the power of your NVIDIA GPU to run your code from Tensorflow and Pytorch in collaborative notebooks on the GPU.
A robust & multipurpose Graph object for JavaScript & TypeScript.
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.