German Anki Decks based on KIT lectures
☆15Feb 7, 2023Updated 3 years ago
Alternatives and similar repositories for synopses-anki
Users that are interested in synopses-anki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a collection of flashcard decks created for classes at Karlsruhe Institute of Technology.☆44Nov 21, 2025Updated 8 months ago
- 🐙 Alternative course catalog for Karlsruhe Institute of Technology☆23Oct 6, 2023Updated 2 years ago
- WIP: Ofen is a toolkit aimed at making transformer models production-ready. API included☆17Oct 2, 2024Updated last year
- ☆11Jan 7, 2023Updated 3 years ago
- ☆12Jun 23, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A composable terminal UI framework for building flexible text-based interfaces☆15Jun 29, 2024Updated 2 years ago
- ☆13Jun 3, 2024Updated 2 years ago
- Anki decks for Technion courses☆13Apr 26, 2024Updated 2 years ago
- Utility for generating helical or polygonal inductor footprints in either gEDA footprint or Kicad legacy module format, and calculates in…☆15Jun 24, 2015Updated 11 years ago
- ☆21Jun 3, 2023Updated 3 years ago
- A cross-platform game engine for .NET☆13Nov 19, 2021Updated 4 years ago
- Official implementation for the CVPR 2024 paper: HuProSO3: Normalizing Flows on the Product Space of SO(3) Manifolds for Probabilistic Hu…☆16Mar 31, 2025Updated last year
- Apache Arrow-compatible space-efficient "tape" class in pure Rust to be used with StringZilla for GPU, NUMA, and disk transfers of variab…☆32Jul 19, 2026Updated last week
- Nvim-cmp source for Vimwiki tags☆12Apr 25, 2022Updated 4 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.
- End to End Pipeline using AWS Services such as s3, boto3, lambda, ECR, step functions, Dynamodb, Step Functions, etc☆23Jul 31, 2022Updated 3 years ago
- A repository of Juris-M style modules☆17Updated this week
- A simple, minimalist writing theme for Typora☆15Jan 20, 2026Updated 6 months ago
- a proof-of-concept of a diverse double compilation☆12Feb 10, 2026Updated 5 months ago
- Trackmania 2020 dedicated server control script☆12Jun 18, 2024Updated 2 years ago
- This is a spacemacs layer based on the leetcode-emacs project to interact with leetcode from within Emacs.☆26Jan 28, 2022Updated 4 years ago
- ⭐ User Contributions to NeoMutt☆13Jun 12, 2022Updated 4 years ago
- Python tool to support lazy imports.☆31Jun 9, 2025Updated last year
- The Rust Programming Language☆12Oct 3, 2022Updated 3 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.
- [ICML24] Official Implementation of "ETHER: Efficient Finetuning of Large-Scale Models with Hyperplane Reflections"☆16May 31, 2024Updated 2 years ago
- An Anki flashcards deck for studying linux terminal tools and commands.☆18Aug 1, 2019Updated 6 years ago
- ☆13Jul 15, 2026Updated last week
- Reference implementation of divergence triangle https://arxiv.org/abs/1812.10907☆15Mar 24, 2023Updated 3 years ago
- Utilities for PyTorch distributed☆26Feb 27, 2025Updated last year
- Sample repository for a prototype of a new stackalloc operator for class with CoreCLR and Roslyn☆22Mar 17, 2024Updated 2 years ago
- API definitions of Marginnote Add-on☆27Mar 3, 2026Updated 4 months ago
- Quick and simple command to remove a Homebrew package and its dependencies.☆37Feb 23, 2017Updated 9 years ago
- Wayland implementation of a simple system clipboard for yazi file manager☆24Apr 7, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Dec 13, 2019Updated 6 years ago
- Extra man pages for ManKier.com☆23Sep 24, 2025Updated 10 months ago
- A fully customizable HTML, CSS and JS library for implementing multiple choice questions on anki☆18Jul 12, 2024Updated 2 years ago
- view pdf on X11 and the Linux framebuffer; resize pdf; convert pdf to text, html, TeX, groff☆23May 28, 2026Updated last month
- Official implementation of the paper "Increasing Confidence in Adversarial Robustness Evaluations"☆24Jun 20, 2026Updated last month
- Geometry style transfer colorbook☆23Jan 5, 2024Updated 2 years ago
- The C Programming Language Book by Brian W. Kernighan and Dennis M. Ritchie - solved exercises☆16Apr 26, 2022Updated 4 years ago