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:
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- Open Letter to University Leaders☆19Updated 5 years ago
- Simple LaTeX☆17Updated last year
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- a capability-based system☆40Updated 7 years ago
- Bolts: Stainless Verified Scala Examples☆26Updated last week
- Scala library for parsing and printing the SMT-LIB format☆46Updated 2 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆126Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- Deep learning via category theory and functional programming☆148Updated 5 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 5 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 6 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- A Haskell parser for JVM bytecode files☆39Updated last year
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- The Leon system for verification, synthesis, repair☆166Updated last year
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 7 years ago
- LL(1) parser combinators in Scala☆61Updated 2 months ago
- Equational laws for free☆262Updated 5 months ago
- Proof and Code Presentation Framework☆22Updated 6 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated last year
- Simple verification of Rust programs via functional purification in Lean 2(!)☆339Updated 8 years ago
- From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on sin…☆139Updated 7 years ago
- Scala implementation of ILC, with benchmarks☆28Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 9 years ago
- Neural-Network Guided Expression Transformation☆13Updated 7 years ago
- Let GHC prove program equations for you☆146Updated 7 years ago
- Talks on category-parametric programming.☆22Updated last year