Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Repository Index
47,133 repositories indexed
217–240 of 250 · Most stars
A fish shell plugin to run a default command when none was given
- fish
- fish-plugin
- fish-shell
- plugin
Devcontainer for using LaTeX in VS Code with auto-formatting and one-click arXiv export and link check.
- docker
- latex
- latex-workshop
- visual-studio-code
Source-to-Image builder for Common Lisp applications on OpenShift
This is my personal attempt on reverse engineering the Tetris gameboy.
A fresh and calming theme for Hyprland inspired by nature. Green Garden brings a vibrant yet soothing feel to your desktop. Let me know what you think—your feedback is welcome and appreciated!
asdf plugin for Steel Bank Common Lisp
Path bookmarking for bash. I use this extensively throughout my day.
Publish LÖVE games in the snap store
- snappy
- love2d
Download & automatically rename Pico-8 carts from the Lexaloffle BBS threads
Operating-system related data, published to an MQTT broker at fixed intervals.
Give the agent a cage, not your keys. One-command Docker sandbox for AI coding agents: full autonomous permissions, per-project isolation, your host stays untouched.
bake customized raspberry pi sdcard images automatically
- raspberry
- raspbian
- provisioning
- bootstrapping
Risk-adaptive development pipeline with adversarial consensus code review
Example build system for making mixed C/Ocaml binaries where the main program is in C
!3 is a simple, secure and open source paste sharing platform.
- hastebin
- monaco-editor
- notes
- pastebin
A robust suite of tools for Omarchy/Hyprland to manage monitor power via keyboard shortcuts and laptop lid events.
Gee is a modified version of Oliver Lloyd's JMeter-EC2 project.
🌉Bridge between MQTT and 🖥️Freedesktop.org Notify-Send desktop notifications (Ubuntu & other distros)🐧 - Send notifications from MQTT directly to your desktop!
AIR Native Extension for displaying taskbar progress on macOS & Windows 7, 8, 10
- adobe-air
- cpp
- windows-10
- actionscript
Build your own DIY proofing box for sourdough, yoghurt and pizza. Featuring a raspberry pi and night vision.
- sourdough
- bread
- pizza
- diy
A script to automate tasks when connect a device to your macbook
- amphetamine
- apple
- apple-silicon
- applescript
Gatling plugin for AMQP/RabbitMQ — publish, request-reply, and consume patterns with connection pooling
- amqp
- gatling
- gatling-plugin
- performance
A simple script that processes the generated Suricata eve-log in real time.