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:
- Bolts: Stainless Verified Scala Examples☆26Updated this week
- Interactive Theorem Proving based on Inox☆10Updated 6 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
- Deep learning via category theory and functional programming☆149Updated 5 years ago
- Scala library for parsing and printing the SMT-LIB format☆46Updated 2 years ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- Proof and Code Presentation Framework☆23Updated 6 years ago
- Hashing with SL2 for Haskell☆20Updated 6 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Algebraic Graphs in Scala☆27Updated 4 years ago
- Open Letter to University Leaders☆19Updated 5 years ago
- Neural-Network Guided Expression Transformation☆13Updated 7 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 5 years ago
- Slides for Scalaworld 2019☆15Updated 5 years ago
- LL(1) parser combinators in Scala☆61Updated 3 months ago
- HoTT Note-taking action☆25Updated 6 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Updated 8 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 3 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- Type-safe data versioning.☆98Updated 2 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
- Our Website☆17Updated 3 years ago
- convert simple cryptol expressions into finite-state machines☆21Updated 8 years ago
- Haskell code complexity and quality measurement☆62Updated 2 years ago
- Experiments with haskell neural networks☆11Updated 10 years ago
- Generates Nix definitions for your SBT builds☆43Updated 7 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago