Alternatives and similar repositories for epfl-moodle:

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

• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆21Updated last month
• epfl-lara / nugget
  Neural-Network Guided Expression Transformation
  ☆12Updated 7 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• helq / tensorflow-haskell-deptyped
  Reexporting TensorFlow Haskell with dependent typed functions
  ☆46Updated 5 years ago
• Daniel-Diaz / hatex-guide
  The HaTeX User's Guide
  ☆21Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 7 months ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• cohomolo-gy / Type-Arithmetic-and-the-Yoneda-Perspective
  Slides for Scalaworld 2019
  ☆15Updated 4 years ago
• rocq-community / aac-tactics
  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…
  ☆31Updated 2 months ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆42Updated 6 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated 3 months ago
• CourseAdvisor / courseadvisor
  Review and rate EPFL courses
  ☆15Updated 8 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• fu-dietersheim / Blockchain
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Updated 7 years ago
• andrejbauer / what-is-algebraic-about-algebraic-effects
  ☆46Updated 5 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• mhwombat / backprop-example
  An example of back-propagation implemented in Haskell.
  ☆26Updated 10 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆64Updated last month
• michaelsproul / dblib-linear
  Formalisation of the linear lambda calculus in Coq
  ☆10Updated 6 years ago
• storm-framework / storm
  Static security for database-backed Haskell applications using Liquid Haskell
  ☆18Updated 10 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year