Documentation and links about the course
☆24Jan 17, 2023Updated 3 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NixCon 2020 talk about Nix flakes☆18Oct 15, 2020Updated 5 years ago
- yet another model checker☆25Jun 10, 2026Updated 2 weeks ago
- knowledge system - notetaking, hierarchical tagging, mnemonic medium, exploring latent structure.☆18May 15, 2021Updated 5 years ago
- ☆15Apr 9, 2026Updated 2 months ago
- Practical course: Advanced Systems Programming in C/Rust -- SoSe 2023☆25Jul 1, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Nov 19, 2025Updated 7 months ago
- ☆16May 5, 2022Updated 4 years ago
- A Probabilistic Programming Language in 70 lines of Python. Code for the blog post https://mrandri19.github.io/2022/01/12/a-PPL-in-70-lin…☆19Feb 10, 2022Updated 4 years ago
- Automatically generate Nix expressions for Emacs packages☆29Oct 3, 2024Updated last year
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Aug 3, 2025Updated 10 months ago
- A tool that visualizes the internal structure of a Git repository in real-time. With snakes!☆18Apr 22, 2019Updated 7 years ago
- A little demo how to bind an advanced data science algorithms to 4 different languages☆10Nov 6, 2018Updated 7 years ago
- A sample Rust+Nix project for a blogpost☆29Mar 15, 2020Updated 6 years ago
- ☆55May 7, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Strongly typed YAML library for Rust☆55Aug 4, 2025Updated 10 months ago
- configuration for my NAS☆30Jun 14, 2026Updated 2 weeks ago
- PyTorch examples powered by Lightning☆11Dec 28, 2022Updated 3 years ago
- ☆12Oct 8, 2020Updated 5 years ago
- Parallel and Scalable Heat Methods for Geodesic Distance Computation☆32Mar 31, 2019Updated 7 years ago
- Boost.Proto, rewritten and redesigned for C++11☆28Oct 7, 2013Updated 12 years ago
- https://notebook.wesleyac.com☆36Dec 8, 2025Updated 6 months ago
- A Nomad task driver for systemd-nspawn☆34Apr 7, 2022Updated 4 years ago
- query calibre from emacs, useful for referencing work☆32Jun 29, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Presentations of the advanced topics in optimization☆11Oct 30, 2019Updated 6 years ago
- A vfkit-based linux builder for Nix-darwin☆91Updated this week
- The Steel separation logic library for F*☆39Jun 8, 2026Updated 3 weeks ago
- Integrate pytorch☆46Apr 4, 2021Updated 5 years ago
- ☆12Apr 21, 2026Updated 2 months ago
- Convert SSH RSA keys to GPG keys☆34Jun 22, 2026Updated last week
- Project proposals for fundraisers and grant applications [maintainer=@fricklerhandwerk]☆14Apr 21, 2025Updated last year
- Image data augmentation scheduler for albumentations transforms☆19May 1, 2021Updated 5 years ago
- ☆53May 5, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Oct 17, 2018Updated 7 years ago
- ☆15Jul 22, 2021Updated 4 years ago
- Theoretical Deep Learning: generalization ability☆48Dec 4, 2019Updated 6 years ago
- Computer vision models on PyTorch☆13Jan 13, 2026Updated 5 months ago
- codes for CoMoNet (TCSVT2023)☆17Jul 12, 2024Updated last year
- Nix Packages collection & NixOS☆41May 14, 2024Updated 2 years ago
- C++ for transformations between 3D orientation representations and associated Jacobians☆18Feb 13, 2024Updated 2 years ago