gcmalloc / epfl-moodleLinks
Sane interface to moodle
☆14Updated 8 years ago
Alternatives and similar repositories for epfl-moodle
Users that are interested in epfl-moodle are comparing it to the libraries listed below
Sorting:
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- Simple LaTeX☆17Updated last year
- Proof and Code Presentation Framework☆23Updated 6 years ago
- Orchard Opetopic Proof Assistant☆29Updated 9 years ago
- Slides for Scalaworld 2019☆15Updated 5 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Haskell code complexity and quality measurement☆62Updated 3 years ago
- Scala implementation of ILC, with benchmarks☆27Updated 9 years ago
- a capability-based system☆41Updated 7 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆30Updated 5 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 6 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Updated 2 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 3 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- Deep learning via category theory and functional programming☆151Updated 5 years ago
- A gv file representing the relationships between various algebraic structures.☆19Updated 5 years ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- A Haskell parser for JVM bytecode files☆39Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Scala library for parsing and printing the SMT-LIB format☆46Updated 3 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last year
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- Experiments in abstracting definitional interpreters☆16Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Updated 8 years ago