tobast
Computer science student at ENS Ulm, Paris. My code is mostly on git.tobast.fr and institutions' git servers
ENS UlmFrance
Pinned Repositories
dwarf-assembly
dwarf-synthesis
compil-petitscala
Compilator for "Petit-scala" as defined in https://www.lri.fr/~filliatr/ens/compil/projet/sujet1-v1.pdf. Class project for the "compilation" class at the ENS Ulm.
dwarf-assembly
Some experiments around compiling the most used Dwarf information (ELF debug data) directly into assembly
OC4.5
A pure OCaml implementation of the C4.5 decision tree generator algorithm
OCrypto
A pure OCaml implementation of some crypto algorithms (rc4 and blowfish so far)
ORandForest
A pure OCaml implementation of a random forest classifier based on OC4.5.
sysres-pikern
A class project aiming to implement a minimalistic bootable kernel for a Raspberry Pi.
weechat-logexport
A weechat plugin providing buffer text export to external HTML file in a specified location.
weenotify
A minimalist Weechat client using the Weechat relay protocol to retrieve notifications from a bouncer and display them locally.
tobast's Repositories
tobast/ORandForest
A pure OCaml implementation of a random forest classifier based on OC4.5.
tobast/OC4.5
A pure OCaml implementation of the C4.5 decision tree generator algorithm
tobast/weenotify
A minimalist Weechat client using the Weechat relay protocol to retrieve notifications from a bouncer and display them locally.
tobast/dwarf-assembly
Some experiments around compiling the most used Dwarf information (ELF debug data) directly into assembly
tobast/yadus
Yet another Django url shortener — nothing fancy, just works
tobast/care
Share expenses with friends in this Django and Bootstrap based web application
tobast/weechat-logexport
A weechat plugin providing buffer text export to external HTML file in a specified location.
tobast/aiotask
A remote, non-distributed, simple asynchronous task queue in Python
tobast/babel-drafts
IETF drafts related to the Babel routing protocol.
tobast/babeld
The Babel routing daemon
tobast/black
The uncompromising Python code formatter
tobast/blueimp-gallery-backend
An ultra-lightweight, (nearly) databaseless Django backend for https://github.com/blueimp/Gallery
tobast/CatimaSync
Catima Sync provides an API to keep your loyalty cards synced between devices
tobast/circuit-isomatch
A library for graph subisomorphism and pattern-match-and-replace in electronic circuits
tobast/csmith-dwarf-assembly
Csmith, a random generator of C programs. This fork is intended for benchmarking dwarf-assembly, and BREAKS checksum properties.
tobast/django-cas-server
A Django Central Authentication Service server implementing the CAS Protocol 3.0 Specification
tobast/dunst
Lightweight and customizable notification daemon
tobast/exodus
Platform to audit trackers used by Android application
tobast/flacinfo
A script analoguous to mp3info, but for flac files.
tobast/i3lock
improved screen locker - modification for epita
tobast/inkscape-LasercutBox
Creates a tabbed box with kerf adjustments. Set inside or outside dimensions, independent tab counts for each axis, corner option. Have a tight fit with kerf adjustment, or use the least amount of material and have a sloppy fit.
tobast/libdwarfpp
A high-level API for accessing DWARF debugging information, in C++
tobast/matrix-nio
A Python Matrix client library, designed according to sans I/O (http://sans-io.readthedocs.io/) principles
tobast/mpri18-funcprog-tests
Tests supplémentaires pour le projet de programmation fonctionnelle du MPRI
tobast/papillon
Basic image pasting Django-powered website, with encrypted on-disk images
tobast/pmevo-eval
PLDI'20 Research Artifact for the PMEvo Project
tobast/pysort_eval
Quick and dirty evaluation of Python's sorting in various scenarios
tobast/python-scaleway
:snake: Python SDK to query Scaleway APIs.
tobast/RDFSerializer
tobast/vorta
Desktop Backup Client for Borg Backup