obcode / glabs
Manage GitLab for Labs from the Command Line
☆11Updated 2 months ago
Alternatives and similar repositories for glabs:
Users that are interested in glabs are comparing it to the libraries listed below
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 3 months ago
- TikZ library for network shapes such as routers, switches, etc.☆49Updated 8 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆13Updated 2 months ago
- Learning Framework for Logic Calculi☆16Updated this week
- ☆16Updated 8 months ago
- The CIMENT (Gricad-calcul) Nix channel☆20Updated 5 years ago
- ☆30Updated 2 weeks ago
- Coq code formatter☆22Updated this week
- CAQE is a solver for quantified Boolean formulas☆31Updated last year
- Pandemie!☆20Updated 2 years ago
- A framework for implementing and certifying impure computations in Coq☆52Updated last year
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆35Updated last year
- ☆61Updated this week
- Generate HTML documentation for mathlib and Lean☆21Updated 4 months ago
- DB Systel Open Source Policies☆25Updated last month
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated last week
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆36Updated this week
- The Lean reference manual☆47Updated this week
- The "TaSK Framework" is a configurable test tool for performing TLS conformity tests based on the Technical Guideline TR-03116-TS.☆131Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated this week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆15Updated this week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated 2 years ago
- sockets for Lean 4☆18Updated 7 months ago
- Package registry for Lean/Lake.☆17Updated last month
- A simple command-line bibtex query utility written in Lean 4☆11Updated last week
- This package provides an interface and foundation for verified SAT reasoning☆51Updated 5 months ago
- Continuous benchmarking☆14Updated last month
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated 9 months ago
- Logical Verification 2022-2023 course at VU Amsterdam☆18Updated last year
- ☆34Updated this week