LarsAstrom / EDAF05-labs-public
Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
☆13Updated 3 years ago
Alternatives and similar repositories for EDAF05-labs-public:
Users that are interested in EDAF05-labs-public are comparing it to the libraries listed below
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- 🎮 A frictionless multiplayer web app that lets you play Set with friends☆578Updated last month
- ☆10Updated 9 months ago
- Advent of Code statistics for the first 100 submissions visualized☆88Updated 3 months ago
- Main place to find anything related to Openhack - Challenges, Solutions, Resources, and our Openhack manual☆9Updated 2 years ago
- A bot that plays on the hanab.live interface.☆17Updated 3 weeks ago
- Scala Native 3 bindings for SFML library☆15Updated last year
- A monthly series of talks about tooling.☆48Updated 2 months ago
- Repository for computational geometry classes☆11Updated 4 years ago
- A fast and modern parser combinator library for Scala☆192Updated this week
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆12Updated 2 years ago
- ☆23Updated last year
- Public files of EDA016 "Programming, First Course" given at Lund University, LTH.☆9Updated 7 years ago
- A chess library that runs on the server (Scala) and on the browser (ScalaJS).☆53Updated 5 years ago
- A Scala client for running queries against a Prometheus backend.☆12Updated 3 years ago
- Zed plugin for Metals☆71Updated this week
- Automatic UI forms for Scala 3 functions☆16Updated 7 months ago
- Scala grammar for tree-sitter☆165Updated this week
- ☆16Updated 5 months ago
- setup-sbt installs the official sbt runner☆25Updated 2 weeks ago
- VU Einführung in Visual Computing Fragenkatalog Trainer☆11Updated 2 years ago
- An sbt plugin to organize your build using plain Scala files☆30Updated 2 years ago
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆141Updated 2 months ago
- Proxy between lila and fishnet move clients☆41Updated last week
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 3 months ago
- JaTyC: a typestate checker for Java☆16Updated last month
- Git på skånska☆151Updated 3 years ago
- Give your cats a set of dice☆37Updated 2 months ago
- JavaSMT - Unified Java API for SMT solvers.☆217Updated this week
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆53Updated last week