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 …☆16Jul 2, 2026Updated last month
- 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
- Announcement Center for ownCloud☆13Aug 19, 2026Updated 2 weeks ago
- A package to add support for yaml configuration files in Laravel 4☆15Apr 24, 2024Updated 2 years ago
- https://typescripttolua.github.io/☆12Jul 13, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Collection of datastructures for rustlang☆11May 11, 2022Updated 4 years ago
- Thin wrapper around webnative for Elm.☆15Feb 1, 2023Updated 3 years ago
- An extended typed Lambda Calculus☆22Aug 20, 2026Updated last week
- 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
- iroh website☆24Aug 20, 2026Updated last week
- Make a release of a cargo project☆13Jul 17, 2020Updated 6 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆21Jun 26, 2021Updated 5 years ago
- A haskell email client☆10Jul 20, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Number 0's way of doing rust futures. Re-exports what we think are useful abstractions and good implementations.☆20Updated this week
- 8x8 monochrome bitmap fonts for rendering. Implemented in Rust.☆18Apr 5, 2021Updated 5 years ago
- Generate tests from examples in purescript docs☆16Dec 11, 2022Updated 3 years ago
- 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
- GitHub Action to setup Problem Matchers for Rust.☆18Apr 9, 2026Updated 4 months ago
- SUPERSEDED by https://github.com/japaric/xargo☆13Apr 10, 2016Updated 10 years ago
- Extraction, versioning and machine-readable provisioning of public data.☆12Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rendering 2D graphics using Skia in the browser using webassembly☆17Apr 2, 2022Updated 4 years ago
- Rust port of RIBLT library by yang1996☆24May 6, 2024Updated 2 years ago
- Bluetooth manager for XFCE☆30Sep 21, 2018Updated 7 years ago
- A (Minimal) Perfect Hash Function based on irregular cuckoo hashing, retrieval, and overloading.☆20Sep 30, 2025Updated 11 months ago
- An Immutable Asynchronous Map☆32Aug 21, 2026Updated last week
- Portable high-level bitwise manipulation algorithms☆53Oct 1, 2021Updated 4 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 11 years ago
- A file manager for your webnative filesystem.☆24Oct 4, 2023Updated 2 years ago
- high-resolution performance benchmarking☆26Jul 29, 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated last year
- A Socket Mode implementation for the slack-php framework☆10Nov 12, 2022Updated 3 years ago
- Vienna Graph Clustering☆18Jun 1, 2026Updated 3 months ago
- A module extracting the data from PostGIS to mbtiles by using tippecanoe.☆16Jan 31, 2026Updated 7 months ago
- Yet another concurrent playground☆32Nov 18, 2015Updated 10 years ago
- A more secure recipe for uploading Rust docs to GitHub Pages☆21May 19, 2016Updated 10 years ago