Alternatives and similar repositories for courseadvisor:

Users that are interested in courseadvisor are comparing it to the libraries listed below

• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆58Updated 5 years ago
• louismerlin / repfl
  Find a free room @ EPFL
  ☆29Updated 4 years ago
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 2 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• ShiftForward / malamute
  Deploy Logger Service - Documenting and recording the release of new product versions
  ☆16Updated 9 years ago
• openmole / openmole
  Workflow engine for exploration of simulation models using high throughput computing
  ☆143Updated this week
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆20Updated this week
• cr-marcstevens / dblpbibtex
  DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads
  ☆17Updated last year
• rescala-lang / REScala
  REScala - distributed and reactive programming embedded in OO and FP programs.
  ☆89Updated this week
• LauzHack / LauzHack.github.io
  Website for LauzHack, EPFL's largest hackathon.
  ☆10Updated last month
• secgroup / ctforge
  Forge your own CTF
  ☆46Updated 3 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆45Updated 2 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆57Updated last month
• albuch / sbt-dependency-check
  SBT Plugin for OWASP DependencyCheck. Monitor your dependencies and report if there are any publicly known vulnerabilities (e.g. CVEs).
  ☆265Updated 4 months ago
• gbossert / pylstar
  An implementation of the LSTAR Grammatical Inference Algorithm
  ☆49Updated 10 months ago
• HairyFotr / linter
  Static Analysis Compiler Plugin for Scala
  ☆268Updated 6 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated 2 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• Sqooba / scala-promql-client
  A Scala client for running queries against a Prometheus backend.
  ☆12Updated 3 years ago
• gabro / vscode-scalafmt
  DEPRECATED Scalafmt support for Visual Studio Code
  ☆20Updated 2 years ago
• hmil / RosHTTP
  Unified Scala.js + Scala HTTP client API
  ☆126Updated 3 years ago
• klee / klee-web
  KLEE in the browser
  ☆51Updated 7 months ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• airbus-seclab / airbus-seclab.github.io
  Conferences, tools, papers, etc.
  ☆43Updated 4 months ago
• gaeljw / tapir-play-sample
  Sample project using Play Framework + Tapir
  ☆14Updated this week
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆96Updated 6 months ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆365Updated this week