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
- Bolts: Stainless Verified Scala Examples☆23Updated last month
- Scala library for parsing and printing the SMT-LIB format☆45Updated 2 years ago
- Simple LaTeX☆17Updated last year
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Play Minesweeper by formally proving your moves in Idris☆167Updated 10 months ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 4 months ago
- Deep learning via category theory and functional programming☆146Updated 5 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 8 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆125Updated 2 years ago
- Equational laws for free☆259Updated 3 months ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Updated 6 years ago
- Slides for Scalaworld 2019☆15Updated 4 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 2 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆162Updated 6 years ago
- The Quantum IO Monad, implemented in Haskell☆104Updated last year
- A fast, easy-to-use q-learning library for Haskell☆44Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- A streaming query language.☆57Updated 4 years ago
- Haskell code complexity and quality measurement☆61Updated 2 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, …☆50Updated last year
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- A domain-specific language for state machines.☆129Updated 5 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago