obcode / glabs
Manage GitLab for Labs from the Command Line
☆11Updated 3 months ago
Alternatives and similar repositories for glabs:
Users that are interested in glabs are comparing it to the libraries listed below
- Verifying the SCION architecture using Gobra☆11Updated last week
- Automatically exported from code.google.com/p/exercisesheet☆11Updated 9 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆36Updated 4 months ago
- A framework for implementing and certifying impure computations in Coq☆52Updated last year
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated last week
- Continuous benchmarking☆16Updated this week
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆13Updated 3 months ago
- Public reference documents for the SMT-LIB standard☆16Updated 3 weeks ago
- ☆14Updated 7 years ago
- Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden☆44Updated 11 months ago
- Mitschriften aus Vorlesungen (Mathematik/Informatik) an der Uni Jena☆16Updated 3 years ago
- Our Website☆17Updated 2 years ago
- Zivilgesellschaftliche Beteiligung zu den „Sofortmaßnahmen Zweites Open Data Gesetz“☆96Updated 3 years ago
- A SAT solver written in Haskell.☆39Updated 6 years ago
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆24Updated 9 months ago
- Verifying the optimization phases of the GraalVM compiler☆11Updated 2 months ago
- Patches Assured up to Trace Equivalence☆16Updated this week
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆52Updated 6 months ago
- Coq code formatter☆22Updated last week
- Musterlösungen für Klausuraufgaben am KIT☆51Updated 2 years ago
- Haskell/GHCi as a Hex-Calculator interactive☆25Updated 10 months ago
- CAQE is a solver for quantified Boolean formulas☆31Updated last year
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …☆82Updated last year
- Nomen est omen. It exports tucan grades/vv etc.☆26Updated 5 months ago
- Declarative Page Layouts☆33Updated 8 months ago
- Reflection library for Coq☆12Updated 5 years ago
- ☆54Updated last month
- This package provides an interface and foundation for verified SAT reasoning☆51Updated 7 months ago
- ☆25Updated 3 years ago