obcode / glabs
Manage GitLab for Labs from the Command Line
☆12Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for glabs
- A framework for implementing and certifying impure computations in Coq☆52Updated 10 months ago
- Meetup in Bochum for Nix/NixOS users and those who want to become one☆15Updated 5 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]☆13Updated last month
- Learning Framework for Logic Calculi☆16Updated this week
- ☆15Updated 5 months ago
- Pandemie!☆20Updated last year
- A LaTeX template for Bachelor or Master theses☆10Updated 2 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated last year
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆39Updated last month
- ☆63Updated 2 years ago
- ☆17Updated 2 years ago
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆24Updated 5 months ago
- Generate texlive nix expressions for documents☆95Updated 6 months ago
- Lock & update Nix dependencies☆12Updated 2 months ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- nixos is an experimental modern replacement for nixos-rebuild☆22Updated 6 months ago
- Untitled PL Card Game☆20Updated 3 years ago
- Rust bindings for the Lean 4 proof assistant☆19Updated 5 months ago
- An OpenAPI specification for a Nix HTTP Binary Cache☆24Updated last year
- Tübix website (Jekyll)☆13Updated 5 months ago
- Continuous benchmarking☆14Updated 5 months ago
- ☆22Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆69Updated 3 months ago
- An expression to build Pandoc documents with Nix☆17Updated last year
- Verified decision procedures for modal logics in Lean☆11Updated 4 years ago
- Tools for removing the tedious nature of creating nixpkgs derivations [maintainer=@costrouc]☆45Updated last year
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 2 months ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆39Updated 4 months ago
- WIP tooling☆22Updated last year