Every project

Hey there, I'm Julien, also known as roptat or tyreunom on the internet. If you reached this page, it probably means you are interested in the kind of software projects I make. Thank you for your interest! Here is a list of projects I host here.

Note that I am in the process of migrating from framagit. Every new project will appear here, but older projects might take time to migrate. I'm also planning to add some features at some point, like issues and merge requests, but that will take some time. I'd like to implement these features myself, using forgefed.

Guile Z3

This project aims to give GNU Guile users a very simple library to use Z3, the theorem prover. Z3 itself is able to read files formated in SMT-LIB2, which is an s-expression format. Instead of writting files and calling Z3, this library offers you all the benefits of using guile to produce your expressions in software.

git clone https://https://git.lepiller.eu/git/guile-z3

Offlate

Offlate is a translation interface for offline translation of projects using online platforms. Its features include: Finding your project and configuring it, Offline translation and Submission to your upstream's favorite platform.

git clone https://https://git.lepiller.eu/git/offlate

Guile Fediverse

Guile implementation of different Fediverse protocols and specifications
git clone https://https://git.lepiller.eu/git/guile-fediverse

Guix Home Manager

This is a Guix channel for user configuration management. Guix itself comes with the possibility of managing system configuration when installed as a standalone operating system. This project aims at going one step further and managing your personal configuration entirely with Guix.

git clone https://https://git.lepiller.eu/git/guix-home-manager

Guile Mecab

Guile bindings for MeCab
git clone https://https://git.lepiller.eu/git/guile-mecab

Gitile

Gitile is a small implementation of a web repository viewer. It uses guile as its backend, guile-git to fetch repository information, etc.

git clone https://https://git.lepiller.eu/git/gitile

Guix More

Additional and WIP packages for Guix
git clone https://https://git.lepiller.eu/git/guix-more

Guile Netlink

Guile Netlink is a guile implementation of the netlink protocol. Netlink is an inter-process communication protocol that can be used for communication between processes, or with the kernel. The most famous netlink protocols are used to configure network-related functions in the kernel, such as firewall, route table or IP addresses of interfaces.

git clone https://https://git.lepiller.eu/git/guile-netlink

Guile JsonLD

Guile JsonLD is an implementation of the JsonLD API defined by the W3C for GNU Guile. This implementation tries to follow the editor's draft of JsonLD 1.1 (and the final recommendation once published).

git clone https://https://git.lepiller.eu/git/guile-jsonld

Guile RDF

Implementation of RDF formats and algorithms in GNU Guile
git clone https://https://git.lepiller.eu/git/guile-rdf

System Configuration

This repository contains the configuration files for all my systems.

git clone https://https://git.lepiller.eu/git/system-configuration