Website for students of the Karlsruhe Institute of Technology (KIT).
☆50Mar 20, 2016Updated 10 years ago
Alternatives and similar repositories for Vorlesungsverzeichnis
Users that are interested in Vorlesungsverzeichnis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Stripes is a Java framework with the goal of making Servlet/JSP based web development in Java as easy, intuitive and straight-forward as …☆16Sep 2, 2026Updated last month
- A nice and elegant theme for Ghost, inspired by the color Stitch blue.☆10Aug 2, 2019Updated 7 years ago
- Aufschrieb zur Vorlesung "Elementare Geometrie", gehört bei Prof. Leuzinger im Wintersemester 2017/2018. Keine Garantie auf Richtigkeit/V…☆13Mar 2, 2019Updated 7 years ago
- Keep track of what you're doing and the people in your life☆18Jul 7, 2020Updated 6 years ago
- DataSkop Electron App: the Personal Data Dashboard (PeDD) of DataSkop☆16Jun 15, 2023Updated 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.
- code poems☆10Feb 23, 2022Updated 4 years ago
- Custom voxel engine with RTS game☆12Dec 18, 2024Updated last year
- Grafana plugin for accessing historical weather and climate data using the Meteostat JSON API.☆11May 10, 2021Updated 5 years ago
- A wrapper of Tokio's JoinHandle that aborts the task when it's dropped, while still allowing it to be awaited for joining.☆14Oct 16, 2023Updated 2 years ago
- Build Node.js C++ modules with CMake☆20Jun 29, 2026Updated 3 months ago
- A new UI for Mastodon☆57Aug 22, 2026Updated last month
- Thin wrapper around webnative for Elm.☆15Feb 1, 2023Updated 3 years ago
- Collection of datastructures for rustlang☆11May 11, 2022Updated 4 years ago
- Hermetic C/C++ toolchains for Bazel☆13May 12, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code generator for Java, C#, TypeScript and Swift☆12Jun 15, 2022Updated 4 years ago
- 💙 Code from the HandyHaskell twitter page☆14Nov 5, 2020Updated 5 years ago
- evnav: open-source electric vehicule trip planner☆10Mar 27, 2019Updated 7 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Dec 2, 2025Updated 10 months ago
- go implementation of fissions web-native file system☆18Dec 16, 2021Updated 4 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Feb 1, 2022Updated 4 years ago
- This repository holds the source code for https://kitctf.de/.☆10Aug 13, 2026Updated 2 months ago
- iroh website☆24Updated this week
- Make a release of a cargo project☆13Jul 17, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆21Jun 26, 2021Updated 5 years ago
- ☆15Feb 20, 2023Updated 3 years ago
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆20Updated this week
- STM32 Tips and Tricks☆14Oct 19, 2021Updated 4 years ago
- A Rust interface to the x2apic interrupt architecture.☆17Feb 14, 2025Updated last year
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- SUPERSEDED by https://github.com/japaric/xargo☆13Apr 10, 2016Updated 10 years ago
- odie-client is a Knockout.js frontend to odie-server☆18May 12, 2023Updated 3 years ago
- Rendering 2D graphics using Skia in the browser using webassembly☆17Apr 2, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 愛 - Ai Game Engine☆18Nov 27, 2014Updated 11 years ago
- A lightweight library for mDNS swarm discovery with bounded bandwidth usage☆21Updated this week
- An experimental 64bit single address space operation system kernel in rust.☆13Nov 16, 2015Updated 10 years ago
- An userscript to load TangerineUI's redesign by @nileane 🍊🐘 on whichever instance you'd like !☆18Oct 6, 2026Updated last week
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Mar 4, 2020Updated 6 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated 2 years ago
- [ABANDONNED] Makefly is a fast and lightweight command line alternative to Nanoblogger static weblog engine☆18Jan 26, 2016Updated 10 years ago