echo-webkom / echo-web-backendLinks
Backend til nettsiden til echo – Linjeforeningen for informatikk.
☆11Updated 3 years ago
Alternatives and similar repositories for echo-web-backend
Users that are interested in echo-web-backend are comparing it to the libraries listed below
Sorting:
- Frontend til nettsiden til echo – Linjeforeningen for informatikk.☆9Updated 3 years ago
- Nettsiden til echo – Linjeforeningen for informatikk☆14Updated last year
- ☆11Updated 6 months ago
- Interactive Coq Proofs in Vim☆294Updated 3 weeks ago
- A web-application for helping people in quarantine to get groceries☆27Updated 4 years ago
- 💌 DMARC-status for store norske aktørar☆10Updated last week
- crow of judgement, weighing student compiler submissions☆15Updated this week
- 🔤 Finn riktig preposisjon til stadsnamn☆28Updated 5 months ago
- A syntax highlighting template for the Kotlin language in LaTeX listings.☆130Updated 2 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Refreshed parsec-style library for compatibility with Scala parsley☆21Updated 2 months ago
- Kotlin Multiplatform parser and compile-time serializer/deserializer for TOML format (Fully Native, JS, JVM) based on KxS☆505Updated this week
- Parser library for Kotlin☆48Updated 2 years ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Updated 9 months ago
- A crawler that recursively searches for broken links on a website.☆14Updated 8 months ago
- Neovim client for coq-lsp☆27Updated 8 months ago
- Tredelt kursopplegg i funksjonell frontend☆17Updated 8 years ago
- A TOML 1.0 parser library for Kotlin☆79Updated last year
- agda-mode for neovim☆159Updated last month
- NullPointerExceptions in Haskell☆58Updated 7 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆129Updated last year
- agda-mode on VS Code☆176Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆374Updated last week
- Advent of Code complete solution archive and common library☆45Updated 5 months ago
- Lecture notes and other material for the course INF102, Algorithms and Data Structures, at the University of Bergen.☆21Updated 6 years ago
- A simple library for reporting compiler/interpreter errors☆264Updated 10 months ago
- Generate commit messages from diff with GPT☆12Updated 2 years ago
- The Arend Proof Assistant☆716Updated 4 months ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 6 months ago
- Bukkript is a custom Kotlin Scripting Definition for customizing Minecraft Bukkit servers☆76Updated 2 years ago