- London
-
02:05
(UTC +01:00) - https://veriny.tf
Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AMPL
- Assembly
- AutoHotkey
- Brainfuck
- C
- C#
- C++
- CSS
- Chapel
- Clojure
- CoffeeScript
- Coq
- Crystal
- D
- Dart
- Elixir
- Erlang
- F#
- Gleam
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Nim
- OCaml
- OpenEdge ABL
- PHP
- Pascal
- Perl
- Python
- QML
- Ren'Py
- Roff
- Ruby
- Rust
- Scala
- Shell
- Svelte
- Swift
- TypeScript
- Vala
- Valve Data Format
- Vim Script
- Visual Basic
- Wren
- ZenScript
- Zig
Starred repositories
Cross-platform command-line AV1 / VP9 / HEVC / H264 encoding framework with per scene quality encoding
🔍 Quick file search & app launcher for Windows with community-made plugins
Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs
A modernised skeleton for Sphinx themes.
Minecraft mod that contains a rewrite of Minecraft's server world chunk manager.
A Minecraft Fabric Mod that makes the RNG system of Minecraft 100X faster
Pre-generates chunks, quickly, efficiently, and safely.
Community Patch for Civilization V - Brave New World
Bulk rename tool based on regular expressions to rename multiple files at once
Update your Anilist watching list automatically using Plex webhooks.
A mod that adds mos6502 based microcontrollers to the Minecraft so you can automate your redstone contraptions with assembly code.
pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast …
A fast and powerful log viewer and processor that translates JSON or logfmt logs into a pretty human-readable format.
Lightweight CLI viewer for structured log files and streams (logfmt, JSONL and many others)
Proxy over your Docker socket to restrict which requests it accepts
A 3d Linux desktop environment (and game engine)
Python library to control Linux kernel namespaces
A shell script which checks your $HOME for unwanted files and directories.
Patches to bring back a traditional experience for GTK+3