gcmalloc / epfl-moodle
Sane interface to moodle
☆14Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for epfl-moodle
- Review and rate EPFL courses☆15Updated 7 years ago
- Find a free room @ EPFL☆29Updated 4 years ago
- Bolts: Stainless Verified Scala Examples☆18Updated this week
- Interactive Theorem Proving based on Inox☆10Updated 5 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆12Updated 2 months ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 6 years ago
- Simple LaTeX☆16Updated 6 months ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆72Updated 7 years ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- Tool to determine relevant parts of binary data☆44Updated 6 years ago
- Neural-Network Guided Expression Transformation☆12Updated 6 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- 📗 Erstsemesterheft des FSR Informatik der TU Dresden☆17Updated last year
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 8 months ago
- An automated LaTeX build service for compiling continuous compiling of github repositories☆61Updated 8 years ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Updated 6 years ago
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆197Updated 7 years ago
- F* library for verifying neural networks.☆16Updated last year
- Build minimal ACI containers using the Nix package manager☆16Updated 7 years ago
- Math-themed single-serving site☆46Updated 3 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago
- Slides for Scalaworld 2019☆14Updated 4 years ago
- T2 Temporal Prover☆93Updated 6 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Updated 9 years ago
- Little web app displaying the age of the last NixOS channels☆44Updated 4 years ago
- Exact Inference Engine for Probabilistic Programs☆130Updated 2 months ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year