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
- Scala grammar for tree-sitter☆161Updated 3 weeks ago
- ☆9Updated 7 months ago
- A fast and modern parser combinator library for Scala☆181Updated this week
- A collection of dotfiles and scripts.☆37Updated last month
- A parsing library for the cats ecosystem☆237Updated this week
- Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/☆143Updated last month
- Python solutions to Advent of Code puzzles, https://adventofcode.com/☆117Updated 3 weeks ago
- Verification framework and tool for higher-order Scala programs☆365Updated this week
- The official website of Code@LTH☆17Updated 3 months ago
- 🎄 My solutions and walkthroughs for Advent of Code and more related stuff.☆406Updated 3 weeks ago
- Deprecated in favor of scalameta/nvim-metals☆166Updated 2 years ago
- Beautiful Text-based User Interfaces for Scala☆210Updated 10 months ago
- Complete 2022 to 2015 entries for the annual Advent of Code challenge, written in concise idiomatic functional Scala.☆31Updated 2 months ago
- Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 and 2024 in Scala☆68Updated 2 weeks ago
- Neovim support for the Lean theorem prover☆307Updated this week
- A simple web-based tool for building your own crosswords☆9Updated 10 months ago
- ☆28Updated 7 months ago
- My solutions for Advent Of Code since 2015!☆21Updated last month
- A SBT plugin to make it non-invasive to use gRPC with Scala.☆10Updated last year
- ☆97Updated last year
- Get your Advent of Code data with a single import statement☆604Updated 2 weeks ago
- streaming data parsing and transformation library☆155Updated 3 weeks ago
- Strong type constraints for Scala☆477Updated last month
- Integration between cats-effect and test frameworks☆190Updated this week
- 👋 get to know me through my personal website!☆10Updated last year
- Zed plugin for Metals☆66Updated last week
- Scala compiler plugin for static code analysis☆535Updated this week
- Functional Prometheus Metrics API for Scala☆20Updated last month
- A strawman for a low-level async library in Scala 3.☆260Updated last week