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
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆26Updated last week
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆146Updated 5 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 7 years ago
• scravy / simplex
  Simple LaTeX
  ☆17Updated last year
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆22Updated 6 years ago
• justjoheinz / idris-httpclient
  A http client for Idris based on libcurl
  ☆10Updated 9 years ago
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• helq / tensorflow-haskell-deptyped
  Reexporting TensorFlow Haskell with dependent typed functions
  ☆46Updated 6 years ago
• rpasta42 / ChessKell
  Chess Engine written in Haskell
  ☆15Updated 7 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• strymonas / staged-streams.scala
  ☆57Updated 8 years ago
• srijs / hwsl2-haskell
  Hashing with SL2 for Haskell
  ☆19Updated 5 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• migamake / homplexity
  Haskell code complexity and quality measurement
  ☆62Updated 2 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• GaloisInc / jvm-parser
  A Haskell parser for JVM bytecode files
  ☆39Updated last year
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• cohomolo-gy / Type-Arithmetic-and-the-Yoneda-Perspective
  Slides for Scalaworld 2019
  ☆15Updated 4 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated 3 weeks ago
• TomasMikula / freebind
  Exploration of the Free monad without point
  ☆11Updated 8 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 11 months ago