Alternatives and similar repositories for EDAF05-labs-public

Users that are interested in EDAF05-labs-public are comparing it to the libraries listed below

• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆195Updated last week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆45Updated 2 years ago
• exoji2e / notebook
  ☆16Updated 7 months ago
• mbovel / presentation-template
  ☆10Updated 11 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• jessicalally / hello-world
  ☆9Updated 5 years ago
• RaczeQ / AdventOfCodeAngular
  Typescript solutions with Angular and interactive web page
  ☆16Updated 2 years ago
• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 3 months ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆375Updated 3 weeks ago
• blu3r4y / AdventOfLanguages2020
  Solutions for the AoC 2020, written in 25 different programming languages
  ☆12Updated 3 years ago
• arknave / advent-of-code-2020
  ASCII art of digits that also happen to solve Advent of Code challenges
  ☆50Updated 4 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• Kattis / problem-package-format
  Kattis problem package format specification
  ☆12Updated last week
• GreenLightning / advent-of-code-downloader
  ⭐️ Command line utility that automatically downloads your Advent of Code puzzle inputs.
  ☆76Updated 2 years ago
• heatherleaf / crossword-maker
  A simple web-based tool for building your own crosswords
  ☆9Updated last year
• tree-sitter / tree-sitter-scala
  Scala grammar for tree-sitter
  ☆168Updated 2 months ago
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆137Updated 6 months ago
• chezbgone / dotfiles
  ☆8Updated 6 months ago
• VirtusLab / bazel-steward
  A bot to keep Bazel dependencies up to date
  ☆69Updated 2 months ago
• banrovegrie / Christine
  Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior
  ☆12Updated last month
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆38Updated 8 months ago
• ashwinbhaskar / scala-to-dotty
  Dotty way of writing Scala 2 code
  ☆121Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆221Updated last month
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆142Updated 3 weeks ago
• scalameta / metals-zed
  Zed plugin for Metals
  ☆78Updated 3 weeks ago
• microsoft / scala_torch
  Scala bindings for LibTorch
  ☆130Updated 2 years ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• DanySK / Template-LaTeX-CI
  A Template Repository for quickly creating more specific LaTeX templates with Continuous Integration in place
  ☆14Updated last week