Manage GitLab for Labs from the Command Line
☆11Jan 27, 2026Updated last month
Alternatives and similar repositories for glabs
Users that are interested in glabs are comparing it to the libraries listed below
Sorting:
- My ongoing drafts of Java lecture notes in Thai. The notes might initially contain some copyrighted materials. They will gradually be rep…☆11Apr 11, 2025Updated 10 months ago
- Recipe manager backend☆11Apr 11, 2025Updated 10 months ago
- USB 2.0 data types☆13Mar 16, 2021Updated 4 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 4 years ago
- VS Code extension for CODEOWNERS files.☆11Apr 3, 2024Updated last year
- SBOM generator for Debian-based distributions☆26Feb 10, 2026Updated 2 weeks ago
- Testing Ibex build using Yosys and open source toolchains.☆11Oct 2, 2021Updated 4 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- ☆10Dec 3, 2022Updated 3 years ago
- A Mongo-based version of Heimdall (Deprecated)☆11May 1, 2019Updated 6 years ago
- A Raspberry PI shield for testing probe-rs against many chips & probes.☆14Jan 21, 2022Updated 4 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- A Rust HAL for the ht32f5xxxx family of chips☆10Jan 4, 2023Updated 3 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 3 years ago
- OpenBSD tcpbench ported to GNU/Linux☆15Feb 11, 2026Updated 2 weeks ago
- ✨ my dotfiles☆11Jan 20, 2026Updated last month
- ☆20Feb 18, 2026Updated last week
- A ptrace-based debugger written in Rust.☆15May 16, 2020Updated 5 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- Collection of tools to build and run a distributed spamtrap system, consisting of IMAP and SMTP collectors and a backend that extracts at…☆12Oct 23, 2023Updated 2 years ago
- Green Software Tool Landscape provided by the German organization Bundesverband Green Software.☆20Feb 21, 2026Updated last week
- ☆13May 10, 2021Updated 4 years ago
- ☆14Dec 8, 2021Updated 4 years ago
- Syntax highlighing for nginx conf files in Visual Studio Code.☆11Oct 22, 2019Updated 6 years ago
- 32-bit hashing machinery☆13May 27, 2025Updated 9 months ago
- View-based Development and Model Consistency Framework☆18Feb 16, 2026Updated last week
- Say Goodbye to Email Chaos: A Smarter Way to Manage Theses☆21Updated this week
- This repository contains an extension for the OpenTelemetry Java Auto-Instrumentation agent to collect resource demand data and to publis…☆18Feb 16, 2026Updated last week
- slides and materials for CS4803UWS at Georgia Tech, summer 2013, "UNIX Weapons School"☆25Aug 19, 2013Updated 12 years ago
- Script to check ModSecurity rules agains some WAF☆12Oct 15, 2018Updated 7 years ago
- Estimate effective resource limits for a process e.g. how much RAM is available for use☆17Feb 2, 2026Updated 3 weeks ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- Vorlesung Cloud Computing☆18Jul 16, 2025Updated 7 months ago
- scrollback buffer program for terminals☆17Jan 27, 2021Updated 5 years ago
- Non-intrusive ITM tracing/replay toolset for RTIC programs with nanosecond timestamp accuracy.☆18Jul 22, 2023Updated 2 years ago
- A runtime controller for OSGi based on a REST protocol☆15Aug 29, 2011Updated 14 years ago
- ☆13Jan 30, 2025Updated last year
- An efficient syntax highlighting library in Haskell, using alex-generated lexers☆28Sep 12, 2011Updated 14 years ago
- Alternative HAL implementation of embedded-hal for stm32f30x☆13Oct 20, 2022Updated 3 years ago