Alternatives and similar repositories for epfl-moodle

Users that are interested in epfl-moodle are comparing it to the libraries listed below

• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• scravy / simplex
  Simple LaTeX
  ☆17Updated last year
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆28Updated this week
• helq / tensorflow-haskell-deptyped
  Reexporting TensorFlow Haskell with dependent typed functions
  ☆46Updated 6 years ago
• cohomolo-gy / Type-Arithmetic-and-the-Yoneda-Perspective
  Slides for Scalaworld 2019
  ☆15Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆23Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 8 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆21Updated 8 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 5 years ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆105Updated last year
• liufengyun / stoic
  a capability-based system
  ☆40Updated 7 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated last year
• redelmann / scat
  Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, …
  ☆51Updated last year
• migamake / homplexity
  Haskell code complexity and quality measurement
  ☆62Updated 2 years ago
• PLSysSec / lio
  Labeled IO Library
  ☆59Updated 5 years ago
• Daniel-Diaz / hatex-guide
  The HaTeX User's Guide
  ☆21Updated 4 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 10 years ago
• lortabac / versioning
  Type-safe data versioning.
  ☆98Updated 2 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆46Updated 3 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• eyeinsky / hfuse
  Haskell bindings for the FUSE library
  ☆27Updated last year
• jaspervdj / psqueues
  Priority Search Queues in three different flavors for Haskell
  ☆67Updated 2 weeks ago
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 5 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 9 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• leopiney / tensor-safe
  A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  ☆102Updated 3 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆29Updated 9 years ago