fabicorp / dbs
DBS Lösungen KIT
☆7Updated 6 years ago
Alternatives and similar repositories for dbs:
Users that are interested in dbs are comparing it to the libraries listed below
- Aufschrieb zur Vorlesung "Elementare Geometrie", gehört bei Prof. Leuzinger im Wintersemester 2017/2018. Keine Garantie auf Richtigkeit/V…☆13Updated 5 years ago
- Zusammenfassung☆18Updated 7 years ago
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 8 years ago
- A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.☆30Updated last week
- Typecheck, template and modularize your Github Action definitions with Dhall☆115Updated 4 months ago
- A collection of Haskell's WATs☆89Updated last year
- Tichy-Klicker☆29Updated 2 months ago
- An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…☆11Updated 6 years ago
- 🤖 An Elm library implementing: RFC 7049 Concise Binary Object Representation (CBOR)☆10Updated 5 months ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 5 months ago
- A higher-order effect system where the sky's the limit☆90Updated 2 years ago
- [now part of NixOS/nixpkgs] Elm lang community tooling for Nix and NixOS users.☆32Updated 4 years ago
- A tutorial for reflex-dom with small code bits☆115Updated 2 years ago
- ☆103Updated 4 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- Optimizing backend toolkit and modern ECMAScript backend for PureScript☆203Updated last week
- ☆32Updated 2 months ago
- Deprecated in favor of riot-desktop in nixpkgs☆16Updated 5 years ago
- Zusammenfassung einiger Vorlesungen, die ich gehört habe.☆20Updated 5 years ago
- A lightweight program to generate Opaleye boilerplate from a database☆13Updated 3 years ago
- Skript zur Vorlesung "Sicherheit" am KIT.☆43Updated 3 years ago
- Analyze GHC .dump-timings files☆104Updated 11 months ago
- GRIN backend for GHC☆144Updated 3 years ago
- Website for students of the Karlsruhe Institute of Technology (KIT).☆49Updated 8 years ago
- ☆59Updated 4 years ago
- Nix builder for roc code☆12Updated last year
- Validity and validity-based testing☆158Updated last week
- Haskell bindings for the W3C WebDriver API