echo-webkom / echo-web-backend
Backend til nettsiden til echo – Linjeforeningen for informatikk.
☆11Updated 2 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
- Frontend til nettsiden til echo – Linjeforeningen for informatikk.☆9Updated 2 years ago
- ☆11Updated last month
- Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird☆15Updated 12 years ago
- Interactive Coq Proofs in Vim☆278Updated 3 weeks ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated last month
- MagicMirror² module for showing the availability of the city bikes around in Norway.☆10Updated 3 years ago
- Json Decoder for Typescript☆59Updated 2 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆510Updated 5 months ago
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆381Updated this week
- Code challenges to solve with Haskell☆120Updated 2 years ago
- Lecture notes and other material for the course INF102, Algorithms and Data Structures, at the University of Bergen.☆21Updated 6 years ago
- 🔤 Finn riktig preposisjon til stadsnamn☆27Updated this week
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Updated 3 years ago
- Advent Of Code 2022☆27Updated 2 years ago
- Simple GHC (Haskell) integration for VSCode☆223Updated 7 months ago
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Updated 6 years ago
- ☆57Updated 11 months ago
- Classic combat has returned! Get ready for some fast-paced combat action and lots of fun!☆9Updated 3 weeks ago
- 🕵️ Haskell STatic ANalyser☆572Updated last week
- A fluent Kotlin DSL for Mojang's brigadier command library☆10Updated 3 years ago
- Val - content - super-charged - hard-coded☆15Updated this week
- A new Categories library for Agda☆374Updated this week
- Gradle plugin and Java library for resolving Gradle Configurations at runtime☆13Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆354Updated this week
- Automated downloader for Imperial College London Department of Computing Materials platform☆8Updated 3 years ago
- Minimal implementations for dependent type checking and elaboration☆628Updated this week
- Compiler for the Gren programming language☆413Updated last week
- agda-mode on VS Code☆173Updated last week
- Elm plugin for IntelliJ Platform IDEs☆399Updated 5 months ago
- User defined intrinsics, tailrec optimization☆13Updated 2 years ago