gcmalloc / epfl-moodle
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
- Bolts: Stainless Verified Scala Examples☆21Updated last week
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 7 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Simple LaTeX☆16Updated 11 months ago
- Find a free room @ EPFL☆29Updated 4 years ago
- The HaTeX User's Guide☆21Updated 3 years ago
- Website for LauzHack, EPFL's largest hackathon.☆10Updated 2 weeks ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- Native Haskell implementation of the BLAS library☆9Updated 8 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- a capability-based system☆40Updated 6 years ago
- A Haskell native implementation of matrices and their operations.☆35Updated last year
- Port of Scala/Haskell Refined library to Idris☆17Updated 3 years ago
- ☆57Updated 7 years ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago
- A streaming query language.☆57Updated 4 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- Commutative Applicatives and Semigroups☆31Updated 6 years ago
- Our Website☆17Updated 2 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 5 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Updated 5 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- A fast, easy-to-use q-learning library for Haskell☆44Updated 8 years ago
- This repository has been moved to https://gitlab.com/twittner/cql-io☆13Updated 9 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Slides for Scalaworld 2019☆15Updated 4 years ago