Discover @progval Open Source projects

Val Lorentz (@progval)

progval

Stars
1,119
Global Rank 27,468 (Top 1.0 %)
Followers 180
Following 8
Registered about 14 years ago
Most used languages

Python
61.9 %

Rust
11.9 %

Java
7.1 %

C++
4.8 %

C
2.4 %

JavaScript
2.4 %

Elixir
2.4 %

Coq 2.4 %

OCaml
2.4 %

Red 2.4 %
Location 🇫🇷 France
Country Total Rank 815
Country Ranking

Red 6

Elixir
18

Coq 26

Rust
128

Python
176

OCaml
298

Java
1,319

C++
2,793

C
3,357

JavaScript
4,439

Limnoria

A robust, full-featured, and user/programmer-friendly Python IRC bot, with many existing plugins. Successor of the well-known Supybot.

Supybot-plugins

Collection of plugins for Supybot/Limnoria I wrote or forked.

rust-python-parser

A Python parser written in Rust using nom

pythonvm-rust

An incomplete stackless interpreter of Python bytecode, written in Rust.

matrix2051

A Matrix gateway for IRC: connect to Matrix from your favorite IRC client.

irctest

Semi-automated conformance checking for IRC implementations (RFC1459/RFC2812, the "modern spec" by ircdocs, and IRCv3)

rust-xml-schema

[WIP] (Self-generating) XML parser generator based on XML schemas.

markovgen

Text generator based on Markov chains and IRC logs (or plain text).

skyweb2irc

Relay bot between IRC and Skype, using the Skype Web API.

PyCorewar

Python library for debugging and benchmarking Externer LinkCore War programs. Imported from:

LambdaCert

LambdaJS interpreter.

AndQuote

Fast, light, and open source Android application that offers browsing quotes sites, through OpenQuoteApi.

rust-socks-server

Library for writing SOCKS servers in Rust.

SeenDroid

Seenthis client for Android

Manygui

Fork of Anygui (abandonned since 2002). Manygui is an abstraction layer to several GUI toolkits written in Python.

SdZpp

Un projet *non officiel* visant à fournir des services annexes au Site du Zéro.

restrictive-git-proxy

A Git SSH proxy that allows each client to access a different set of repositories

OpenQuoteApi

Unified JSON/MessagePack API to several quote websites (mainly French and English ones)

Freetorrent

Mon projet d'écriture de la n-ième version 2 de Freetorrent... en Python

crates.io-mirror

Python script to make a static mirror of crates.io. Compatible with Cargo, and shows very basic HTML pages.

rpython-langjs

based on https://bitbucket.org/pypy/lang-js

Quasar

A tiny operating system micro kernel. (A.k.A. SegfaultOS)

Supybot-website

Mostly official website for Supybot and its derivative (Limnoria, Gribble, ...)

Supybot-docs

Documents related to Supybot, Gribble, or Limnoria.

coq_of_caml

Basic caml to coq converter. Under development

vMars

Redcode interpreter for CoreWar

glob3

python-powertop

Wrapper to use PowerTOP in Python (or any language able to read JSON)

python-rust-parser

[WIP] A Rust parser written in Python

tuyal

[WIP] An IRC server that federates with Matrix

glob2-channel

Scripts for the channel #glob2 on OFTC network

vmdebootstrap-raspi3

Fork of vmdebootstrap with patches from bdo/845439 and bdo/845526 applied.

ProgVal.42

udd-http-api

HTTP JSON api for the Ultimate Debian Database.

claim-mail

[Work in progress] A CLI email client

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.

FiSH

Module to add FiSH CBC (mircryption) to the Supybot / Limnoria irc bot.

Manygui-old

Outdated. See Manygui instead.

Naveo

Modified version of Naveo, with GNU/Linux support.

upmonitor

Monitoring/message-passing without any central node.

Djangoid

Port of Djangoid to Django 1.3 and some improvements. [ Does not work yet ]

reportbug

Debian's reportbug

debian-anywhere

Script to install a Debian system locally even if you are not root

OpenQuote

Deprecated. Use AndQuote instead (link below).

min.42

Open source url shortener

sfcp-doc

[Work in progress] The Simplified Futuristic Connectivity Protocol -- a modified version of the FCP (cjdns' protocol)