Projects in Awesome Lists by progval
A curated list of projects in awesome lists by progval .
https://github.com/progval/Supybot-plugins
Collection of plugins for Supybot/Limnoria I wrote or forked.
limnoria plugins python supybot
Last synced: 24 Apr 2025
https://github.com/progval/supybot-plugins
Collection of plugins for Supybot/Limnoria I wrote or forked.
limnoria plugins python supybot
Last synced: 04 Apr 2025
https://github.com/progval/matrix2051
A Matrix gateway for IRC: connect to Matrix from your favorite IRC client.
Last synced: 07 Apr 2025
https://github.com/progval/rust-python-parser
A Python parser written in Rust using nom
nom parser python python-parser rust rust-python
Last synced: 19 Dec 2024
https://github.com/progval/pythonvm-rust
An incomplete stackless interpreter of Python bytecode, written in Rust.
bytecode cpython interpreter python-virtual-machine pythonvm-rust rust stackless
Last synced: 12 Apr 2025
https://github.com/progval/irctest
Semi-automated conformance checking for IRC implementations (RFC1459/RFC2812, the "modern spec" by ircdocs, and IRCv3)
charybdis ergo girc inspircd irc irc-protocol ircv3 limnoria mammon rfc sopel specification supybot test-suite testing testing-tools unrealircd
Last synced: 12 Apr 2025
https://github.com/progval/rust-xml-schema
[WIP] (Self-generating) XML parser generator based on XML schemas.
code-generation parser parser-generator rust sans-io xml xml-parser-generator xml-parsing xml-schema xsd
Last synced: 12 Apr 2025
https://github.com/progval/markovgen
Text generator based on Markov chains and IRC logs (or plain text).
irc irc-bot logs markov-chain python text-generation
Last synced: 12 Apr 2025
https://github.com/progval/pycorewar
Python library for debugging and benchmarking Externer LinkCore War programs. Imported from:
Last synced: 05 Apr 2025
https://github.com/progval/rust-socks-server
Library for writing SOCKS servers in Rust.
networking proxy proxy-server rust socks
Last synced: 12 Apr 2025
https://github.com/progval/andquote
Fast, light, and open source Android application that offers browsing quotes sites, through OpenQuoteApi.
Last synced: 12 Apr 2025
https://github.com/progval/rpython-langjs
based on https://bitbucket.org/pypy/lang-js
Last synced: 05 Apr 2025
https://github.com/progval/manygui
Fork of Anygui (abandonned since 2002). Manygui is an abstraction layer to several GUI toolkits written in Python.
Last synced: 05 Apr 2025
https://github.com/progval/freetorrent
Mon projet d'écriture de la n-ième version 2 de Freetorrent... en Python
Last synced: 05 Apr 2025
https://github.com/progval/openquoteapi
Unified JSON/MessagePack API to several quote websites (mainly French and English ones)
Last synced: 05 Apr 2025
https://github.com/progval/sdzpp
Un projet *non officiel* visant à fournir des services annexes au Site du Zéro.
Last synced: 05 Apr 2025
https://github.com/progval/restrictive-git-proxy
A Git SSH proxy that allows each client to access a different set of repositories
Last synced: 05 Apr 2025
https://github.com/progval/crates.io-mirror
Python script to make a static mirror of crates.io. Compatible with Cargo, and shows very basic HTML pages.
Last synced: 12 Feb 2025
https://github.com/progval/supybot-website
Mostly official website for Supybot and its derivative (Limnoria, Gribble, ...)
Last synced: 05 Apr 2025
https://github.com/progval/supybot-docs
Documents related to Supybot, Gribble, or Limnoria.
Last synced: 12 Jun 2025
https://github.com/progval/quasar
A tiny operating system micro kernel. (A.k.A. SegfaultOS)
Last synced: 05 Apr 2025
https://github.com/progval/nxanimate
[Work in progress] Shows a simple Python debugger and a graph side-by-side, to illustrate the behavior of a graph algorithm, for educational purposes. Like Gato, but based on NetworkX.
algorithm debugger gato graph graph-theory networkx python web-application
Last synced: 05 Apr 2025
https://github.com/progval/naveo
Modified version of Naveo, with GNU/Linux support.
Last synced: 05 Apr 2025
https://github.com/progval/coq_of_caml
Basic caml to coq converter. Under development
Last synced: 05 Apr 2025
https://github.com/progval/upmonitor
Monitoring/message-passing without any central node.
Last synced: 05 Apr 2025
https://github.com/progval/vmdebootstrap-raspi3
Fork of vmdebootstrap with patches from bdo/845439 and bdo/845526 applied.
Last synced: 05 Apr 2025
https://github.com/progval/udd-http-api
HTTP JSON api for the Ultimate Debian Database.
Last synced: 05 Apr 2025
https://github.com/progval/python-rust-parser
[WIP] A Rust parser written in Python
Last synced: 05 Apr 2025
https://github.com/progval/sfcp-doc
[Work in progress] The Simplified Futuristic Connectivity Protocol -- a modified version of the FCP (cjdns' protocol)
Last synced: 05 Apr 2025
https://github.com/progval/fish
Module to add FiSH CBC (mircryption) to the Supybot / Limnoria irc bot.
Last synced: 05 Apr 2025
https://github.com/progval/debian-anywhere
Script to install a Debian system locally even if you are not root
Last synced: 05 Apr 2025
https://github.com/progval/claim-mail
[Work in progress] A CLI email client
Last synced: 05 Apr 2025
https://github.com/progval/glob2-channel
Scripts for the channel #glob2 on OFTC network
Last synced: 05 Apr 2025
https://github.com/progval/python-powertop
Wrapper to use PowerTOP in Python (or any language able to read JSON)
Last synced: 05 Apr 2025
https://github.com/progval/openquote
Deprecated. Use AndQuote instead (link below).
Last synced: 05 Apr 2025
https://github.com/progval/djangoid
Port of Djangoid to Django 1.3 and some improvements. [ Does not work yet ]
Last synced: 05 Apr 2025
https://github.com/progval/scarves
[Not yet started] Simple Content-Addressable File System
Last synced: 13 Jun 2025
https://github.com/progval/rustotcp
Abandonned in favor of smoltcp
networking picotcp rust tcp tcp-protocol
Last synced: 05 Apr 2025
https://github.com/progval/er01_2016-2017
Analysis of ping scans on Hyperboria
Last synced: 05 Apr 2025
https://github.com/progval/rustine
[WIP] A rust interpreter
bootstrapping interpreter python rust
Last synced: 05 Apr 2025
https://github.com/progval/split-gpg-user
[Work in progress] Runs gpg in a separate user. Similar to Qubes' Split-GPG, but without virtual machines (and less secure).
Last synced: 05 Apr 2025
https://github.com/progval/wikidata_bots
Some bots related to Wikidata I wrote
Last synced: 05 Apr 2025
https://github.com/progval/davis-putnam.py
Petite implémentation d’un satsolver en Python utilisant l’algorithme de Davis&Putnam
Last synced: 05 Apr 2025
https://github.com/progval/48irc
An IRC client written in less than eight hours
Last synced: 05 Apr 2025
https://github.com/progval/acetodon
[Not yet started] Future-proof, distributed, and minimalist object storage system
Last synced: 05 Apr 2025
https://github.com/progval/calresa
[Work in progress] Room booking viewer
booking calendar cas python room-booking-viewer stateless web-application
Last synced: 05 Apr 2025
https://github.com/progval/inceptoe
Implementation of the 'Ultimate tic-tac-toe' game.
Last synced: 05 Apr 2025
https://github.com/progval/impterpreter
Implémentation en OCaml d’un interpréteur d’un petit langage impératif
Last synced: 05 Apr 2025
https://github.com/progval/enseigner
Scripts utilisés par l’association ENSeigner (soutien scolaire à l’ENS de Lyon pour des élèves de lycée)
Last synced: 05 Apr 2025
https://github.com/progval/hyperbolia-nodeinfo-database
Scripts to query all of Hyperbolia's nodeinfo.json files and search in them.
Last synced: 05 Apr 2025
https://github.com/progval/phpbb-extract
Extract PHPBB forum to ReST files.
Last synced: 05 Apr 2025
https://github.com/progval/ml-typer
Typer for a simple pure functional subset of OCaml for educational purposes.
Last synced: 05 Apr 2025
https://github.com/progval/proxycheck
Supybot's plugin for ip/hostmask check against various Domain Name System Blacklists
Last synced: 05 Apr 2025
https://github.com/progval/pyrcmemcached
memcached-like library based on IRCv3.2
Last synced: 05 Apr 2025
https://github.com/progval/playbooks
Ansible playbooks. Mirror of https://git.sr.ht/~vlorentz/playbooks
Last synced: 05 Apr 2025
https://github.com/progval/rust-simple-kbuckets
Simple implementation of a Kademlia-like hash table
dht distributed-hash-table distributed-systems kademlia-dht sans-io
Last synced: 05 Apr 2025
https://github.com/progval/ppp_twitter_bot
Twitter bot that uses the Platypus to answer mentions
Last synced: 05 Apr 2025
https://github.com/progval/gato-mirror
Unofficial Git mirror of the Graph Animation Toolbox
Last synced: 05 Apr 2025
https://github.com/progval/n_bodies
In-browser particle simulation. Adapted from http://rectangleworld.com/blog/archives/1018 for non-periodic orbits.
Last synced: 10 Jun 2025