Alternatives and similar repositories for courseadvisor

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

• louismerlin / repfl
  Find a free room @ EPFL
  ☆30Updated 2 months ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆125Updated 2 years ago
• gbossert / pylstar
  An implementation of the LSTAR Grammatical Inference Algorithm
  ☆51Updated last year
• sbt / sbt-sbom
  sbt bom.xml exporter
  ☆38Updated last week
• albuch / sbt-dependency-check
  SBT Plugin for OWASP DependencyCheck. Monitor your dependencies and report if there are any publicly known vulnerabilities (e.g. CVEs).
  ☆270Updated 11 months ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆47Updated 2 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• 4iar / puregym-activity
  Scrape and visualise PureGym activity
  ☆11Updated 3 years ago
• scalation / scalation
  Scala Library and Domain-Specific Language (DSL) for Modeling & Simulation
  ☆76Updated last year
• scala-infer / scala-infer
  Scala embedded universal probabilistic programming language
  ☆11Updated 4 years ago
• seiyria / status-list
  A list of your various social statii.
  ☆35Updated 7 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆381Updated last month
• vagmcs / Optimus
  Optimus is a mathematical programming library for Scala.
  ☆144Updated 8 months ago
• MAIF / otoroshi
  Lightweight api management on top of a modern http reverse proxy
  ☆283Updated last week
• openmole / openmole
  Workflow engine for exploration of simulation models using high throughput computing
  ☆146Updated 2 weeks ago
• propensive / acyclicity
  Monadic directed acyclic graph datastructures for Scala
  ☆12Updated 6 months ago
• davenverse / github
  Github Integration for Scala
  ☆20Updated 11 months ago
• ghostbuster91 / sttp-openapi-generator
  Generate sttp client from openapi specification with ease!
  ☆32Updated last year
• cibotech / evilplot
  A Scala combinator-based plotting library.
  ☆244Updated 9 months ago
• Comcast / ip4s
  Defines immutable, safe data structures for describing IP addresses, multicast joins, socket addresses and similar IP & network related d…
  ☆223Updated last week
• entangled-xyz / scotty
  Quantum computing framework for Java and Scala developers.
  ☆24Updated 5 years ago
• ciren / cilib
  Typesafe, purely functional Computational Intelligence
  ☆125Updated 3 years ago
• commercetools / fs2-queues
  ☆11Updated last week
• playframework / play-webgoat
  A vulnerable Play application for attackers.
  ☆18Updated last month
• rubenfiszel / scala-drl
  Scala Deep Reinforcement library on top of Deeplearning4j
  ☆36Updated 5 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• cibotech / scalastan
  Scala wrapper for Stan
  ☆5Updated last year
• eth-sri / diffai
  A certifiable defense against adversarial examples by training neural networks to be provably robust
  ☆221Updated last year
• Sqooba / scala-timeseries-lib
  Lightweight, functional and correct time-series library for scala. Easy manipulation, filtering and combination of time-series data.
  ☆30Updated 3 years ago
• jeremyrsmith / baudrillard
  Experiments with symbolic functions in the Scala type system
  ☆27Updated 6 years ago