gcmalloc / epfl-moodleLinks
Sane interface to moodle
☆14Updated 7 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:
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Bolts: Stainless Verified Scala Examples☆22Updated last month
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- a capability-based system☆40Updated 7 years ago
- Core components for the Scribble Java tools☆56Updated 8 months ago
- Slides for Scalaworld 2019☆15Updated 4 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆124Updated 2 years ago
- Rust to F* toolchain☆42Updated 6 years ago
- A Haskell native implementation of matrices and their operations.☆35Updated last year
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- ☆18Updated 8 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- A Haskell parser for JVM bytecode files☆38Updated last year
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Label dependent dependent session types☆16Updated last year
- Algebraic Graphs in Scala☆27Updated 3 years ago
- Conway's game of life in 100 lines or less!☆35Updated 7 years ago
- Simple LaTeX☆17Updated last year
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 7 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆37Updated 3 months ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Updated 8 years ago
- Scala implementation of ILC, with benchmarks☆28Updated 8 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 9 months ago
- HoTT Note-taking action☆25Updated 6 years ago