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/OCrypto
A pure OCaml implementation of some crypto algorithms (rc4 and blowfish so far)
tobast/weenotify
A minimalist Weechat client using the Weechat relay protocol to retrieve notifications from a bouncer and display them locally.
tobast/QGiac
QGiac is a GUI frontend for giac (aka xcas), a CAS library by Bernard Parisse.
tobast/sysres-pikern
A class project aiming to implement a minimalistic bootable kernel for a Raspberry Pi.
tobast/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.
tobast/semantics-abstractint
L3 class project (semantics): implementation of a simple abstract interpretation tool.
tobast/sysdig-simulator
Simulator of a digital system using net-list for the L3 class project <http://www.di.ens.fr/~bourke/sysdig.html>
tobast/teeworlds-notify
Simple script reading the logs of a Teeworlds server, removing most lines and formatting a few messages on stdout to be piped to a notifier (eg. IRC bot)
tobast/troll-obfuscator
A simple Python code meant to gently obfuscate a code by applying some trollful strategies.
tobast/weechat-logexport
A weechat plugin providing buffer text export to external HTML file in a specified location.
tobast/algoL3-dijkstra
L3 class project (algorithmic) : dijkstra with fibonacci heap <http://www.di.ens.fr/algoL3/Projets/dijkstra.pdf>
tobast/cam-strategies
An implementation of various operations and the metalanguage on strategies formalized as maps of event structures.
tobast/computercraft_softs
Random programs used for ComputerCraft.
tobast/darkheresy_character_gen
Generator of characters (made to create NPCs mostly) for Dark Heresy (Roleplay on the Warhammer 40K universe)
tobast/django-github-hook
Configurable post-receive webhook handler, implemented as a Django app
tobast/ElectricAddons
A Minecraft Forge mod, addon to IndustrialCraft2, adding some new electrical stuff (machines, power outlets, ...)
tobast/GTalkSms-client
A Qt client to GTalkSms
tobast/heat_paral_master
A heat equation parallel calculation software - master software (controls worker softwares)
tobast/heat_paral_worker
A heat equation parallel calculation software - worker software (processes data provided by a master)
tobast/KingdomsGameplay
KingdomsGameplay is a plugin for Bukkit (Minecraft server). It changes entirely the gameplay of the game, turing it to a PvP (Player versus Player) game, opposing two teams. The gameplay is a bit complicated, if you're interrested, go check the Wiki!
tobast/NomadicGameplay
Bukkit plugin. A new way to play minecraft - just as nomads.
tobast/ocaml
The core OCaml system: compilers, runtime system, base libraries
tobast/post-jail
A simple program that can be used as a login shell, which sends a POST query to a server containing a (short) challenge that is asked back to the user. Intended to be sending a text message challenge through APIs.
tobast/prologin2016
Mon champion (18è) pour Prologin 2016.
tobast/RatticWeb
Password Management for Humans
tobast/rec-tictactoe
Recursive-tictactoe is a game inspired from the basic tic-tac-toe, but which requires WAY more stategy to be played.
tobast/rubiks_timer
A small software to simulate a Rubik's cube competition timer - the ones with two pads for the hands, starting when the pads are not held down.
tobast/sysdig-full
Final repository of the L3 class project "Système digital" at the ENS Paris <http://www.di.ens.fr/~bourke/sysdig.html>
tobast/weechat-android
Simple Weechat-Relay Android Client
tobast/weechat-log-to-html
A script to turn Weechat logs into nicely formatted HTML