framagit.org / tyreunom 27 Repositories
tyreunom/guix-android
Experimental Guix packages for Android development (to build apps and the system itself)
Last synced at: 5 months ago - Stars: 1 - Forks: 0
tyreunom/offlate
Translation interface for online platforms
Last synced at: about 1 month ago - Stars: 2 - Forks: 2
tyreunom/guix-translations
A repository for guix translations (testing a new translation workflow)
Last synced at: almost 2 years ago - Stars: 0 - Forks: 0
tyreunom/guile-rdf
Implementation of RDF formats and algorithms in GNU Guile
Last synced at: 9 months ago - Stars: 0 - Forks: 1
tyreunom/guile-jsonld
Implementation of the JsonLD algorithms
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/system-configuration
My system configurations all in one place :)
Last synced at: 5 months ago - Stars: 2 - Forks: 0
tyreunom/guix
GNU's advanced distro and transactional package manager — Guix — https://guix.gnu.org/
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/i18n-monitoring
A set of scripts to generate the website at https://i18n.lepiller.eu/i18n.html
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/guix-more
More packages for Guix, not yet accepted upstream or unacceptable
Last synced at: 5 months ago - Stars: 0 - Forks: 2
tyreunom/python-android-strings-lib
Android Strings Lib provides support for android's strings.xml files. These files are used to translate strings in android apps.
Last synced at: 10 days ago - Stars: 0 - Forks: 0
tyreunom/guile-fediverse
Guile implementation of different Fediverse protocols and specifications
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/guile-petri
A guile library to create concurrent programs from their petri-net representation. This library converts the petri-net to guile-fibers programs.
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/cuirass-config
Configuration for my cuirass instance
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/nani-app
Android app for offline Japanese dictionaries
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/coquille
A fork of coquille (https://github.com/the-lambda-church/coquille) for neovim with full asynchronous support
Last synced at: about 2 years ago - Stars: 3 - Forks: 1
tyreunom/offlate-web
Website for offlate: https://framagit.org/tyreunom/offlate
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/guix-coq-channel
Guix channel with multiple versions of coq
Last synced at: 9 months ago - Stars: 0 - Forks: 0
tyreunom/guile-torrent
A guile library for the bittorrent protocol
Last synced at: about 2 years ago - Stars: 1 - Forks: 0
tyreunom/j-format-string
The j-format-string library, saved from google code.
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/WhatOSM
Choose your next OpenStreetMap contribution theme !
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/kbuild-snapshot
A snapshot of a development version of kbuild
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
tyreunom/tyreunom.frama.io
The root website to list other projects
Last synced at: about 2 years ago - Stars: 0 - Forks: 0