Description
Location
Production
This page only lists English-language documents.
For the complete list, see the French
version of this page.
Academic
- Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion. "Can
a Program Reverse-Engineer Itself?". IMA
International Conference on Cryptography and Coding
(IMACC'11), 2011.
- Antoine Amarilli, Sascha
Müller, David
Naccache, Daniel
Page, Pablo Rauzy, Michael
Tunstall. "Can Code
Polymorphism Limit Information Leakage?". Workshop in Information
Security Theory and Practice (WISTP'11), Heraklion,
2011.
School
- kesterel2lustre
- A compiler of Kernel
Esterel to the Lustre
programming language. See the README file.
GPLv3 licensed.
- Pastis
- This is the report for a Scheme polymorphic application
toolkit which produces, from any function, a function with the
same values but which additionally provides an equivalent
rewritten version of itself on standard output. You can also grab
the sources. A
collaboration with Pablo
Rauzy. For the course by David
Naccache.
- Presentation about CSSV
- Slides to present the article by Nurit Dor, Michael Rodeh and
Mooly Sagiv: CSSV: Towards a
Realistic Tool for Statically Detecting All Buffer Overflows in C.
Homework for Patrick Cousot's
class.
Programs
- plint
- A French poetry validator for metric, rhyme and rhyme gender. You can
also get the code. GPLv3
licensed.
- drime
- A French rhyme dictionary. You can also get the code and have a look at the README.
GPLv3 licensed.
- haspirater
- A system to find out whether the initial 'h' in a French word
is aspirated or not. Can be used as a standalone program or an a
Python module. No big dictionary of exceptions, but rules learned
from a corpus and stored as a trie: compact, fast, and reasonable
for unseen words. See the README
file or the blogpost. MIT
licensed.
- nlsplit
- A tool to split natural language text in chunks at reasonable
language boundaries. The program takes as argument a maximal size
for chunks, reads stdin and produces chunks smaller than the
maximal size on stdout. Not NLP research but the obvious
heuristics (paragraphs, then sentences, then words, with some
refinements). Someone had to write this. See the README
file.
MIT licensed.
- a2freq
- Quick C program to convert MIDI note numbers or scientific
pitch notations to frequencies in hertz, eg. a2freq a4 prints 440.000000. Compile with -lm (see comments). Public domain.
- mkdemotiv
- Quick Perl script to create demotivational
posters from an image and text using Inkscape and
ImageMagick. Can be used for batch processing, or as a local
alternative to the many existing online tools. Public domain.
- continuity
- A python3+curses game inspired by Continuity
Game. Old-school, quick and dirty, some levels included. See the
README file. Public domain.
- irctk
- Connect to an IRC server, write messages on stdout, say what
is given on stdin. Useful to write bots. C program, using libircclient.
Not secure or stable yet, do not use without reviewing source. Under
development.
- frhyme
- A system to infer the last few phonemes of a French word. Not very
clever.
Humor attempts
- The
Password Security Checker
- Check the strength of your passwords!
- Falso
- A new powerful axiomatic system.
- Door
Safety Instructions
- See the
club Inutile website for more information.
Misc
- Weird
legalese
- A few weird things found in what we always accept and never
read.
Browse
Cgit, Misc
