Pinned Repositories
teeworlds-infclass
Infection Mod with a class system for TeeWorlds
irctest
Semi-automated conformance checking for IRC implementations (RFC1459/RFC2812, the "modern spec" by ircdocs, and IRCv3)
Limnoria
A robust, full-featured, and user/programmer-friendly Python IRC bot, with many existing plugins.
matrix2051
A Matrix gateway for IRC: connect to Matrix from your favorite IRC client.
py14
Python to C++ 14 transpiler
pythonvm-rust
An incomplete stackless interpreter of Python bytecode, written in Rust.
rust-python-parser
A Python parser written in Rust using nom
rust-xml-schema
[WIP] (Self-generating) XML parser generator based on XML schemas.
Supybot-plugins
Collection of plugins for Supybot/Limnoria I wrote or forked.
unicode_names2
char <-> Unicode character name (maintained fork of huonw/unicode_names)
progval's Repositories
progval/rust-python-parser
A Python parser written in Rust using nom
progval/rust-xml-schema
[WIP] (Self-generating) XML parser generator based on XML schemas.
progval/PyCorewar
Python library for debugging and benchmarking Externer LinkCore War programs. Imported from:
progval/aarch64-build-box
Config for the Community aarch64 NixOS box [maintainer=@grahamc]
progval/ansible-debootstrap
An ansible role for bootstrapping new Debian based systems, including setting up partitions, file systems, encryption (luks), initial users and SSH
progval/black
The uncompromising Python code formatter
progval/build-raspbian-image
Builds a minimal Debian Stretch image (not Raspbian) for the Raspberry Pi 3
progval/ceph
Ceph is a distributed object, block, and file storage platform
progval/cjdns
progval/contrib
Contributed stuff for munin (plugins, tools, etc...)
progval/elasticsearch
Open Source, Distributed, RESTful Search Engine
progval/force11-rda-scidwg
For use by the joint FORCE11-RDA software source code identification working group
progval/gll
GLL parsing framework.
progval/minimal-twitter
Minimal Theme for the new Twitter UI!
progval/munin-libvirt-plugins
Munin libvirt plugins
progval/Nixible
progval/pifpaf
Python fixtures and daemon managing tools for functional testing
progval/playbooks
Ansible playbooks. Mirror of https://git.sr.ht/~vlorentz/playbooks
progval/python-otr
Off-The-Record Messaging protocol implementation for Python
progval/quickref.dev
Quickref.dev community sources
progval/rustine
[WIP] A rust interpreter
progval/sentry-docs
The new place for the sentry documentation (and tools to build it)
progval/simplemonitor
A Python-based network and host monitor
progval/soap
progval/syn
Parser for Rust source code
progval/syscall.rs
Raw system calls for Rust
progval/TatSu
竜 TatSu generates Python parsers from grammars in a variation of EBNF
progval/tinc
a VPN daemon
progval/TriviaTime
A feature-packed limnoria trivia plugin that includes multiple channel support, multiplayer, and robust editing tools
progval/wg-grammar
Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides