Coder Social home page Coder Social logo

Théophile Bastian's Projects

aiotask icon aiotask

A remote, non-distributed, simple asynchronous task queue in Python

algol3-dijkstra icon algol3-dijkstra

L3 class project (algorithmic) : dijkstra with fibonacci heap <http://www.di.ens.fr/algoL3/Projets/dijkstra.pdf>

black icon black

The uncompromising Python code formatter

cam-strategies icon cam-strategies

An implementation of various operations and the metalanguage on strategies formalized as maps of event structures.

care icon care

Share expenses with friends in this Django and Bootstrap based web application

catimasync icon catimasync

Catima Sync provides an API to keep your loyalty cards synced between devices

circuit-isomatch icon circuit-isomatch

A library for graph subisomorphism and pattern-match-and-replace in electronic circuits

compil-petitscala icon 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.

csmith-dwarf-assembly icon csmith-dwarf-assembly

Csmith, a random generator of C programs. This fork is intended for benchmarking dwarf-assembly, and BREAKS checksum properties.

darkheresy_character_gen icon darkheresy_character_gen

Generator of characters (made to create NPCs mostly) for Dark Heresy (Roleplay on the Warhammer 40K universe)

django-cas-server icon django-cas-server

A Django Central Authentication Service server implementing the CAS Protocol 3.0 Specification

dunst icon dunst

Lightweight and customizable notification daemon

dwarf-assembly icon dwarf-assembly

Some experiments around compiling the most used Dwarf information (ELF debug data) directly into assembly

electricaddons icon electricaddons

A Minecraft Forge mod, addon to IndustrialCraft2, adding some new electrical stuff (machines, power outlets, ...)

exodus icon exodus

Platform to audit trackers used by Android application

flacinfo icon flacinfo

A script analoguous to mp3info, but for flac files.

heat_paral_master icon heat_paral_master

A heat equation parallel calculation software - master software (controls worker softwares)

heat_paral_worker icon heat_paral_worker

A heat equation parallel calculation software - worker software (processes data provided by a master)

i3lock icon i3lock

improved screen locker - modification for epita

inkscape-lasercutbox icon 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.

kingdomsgameplay icon 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!

libdwarfpp icon libdwarfpp

A high-level API for accessing DWARF debugging information, in C++

matrix-nio icon matrix-nio

A Python Matrix client library, designed according to sans I/O (http://sans-io.readthedocs.io/) principles

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.