Pinned Repositories
dhtim
Simple OpenDHT-based decentralized instant messaging
dhtpim
Simple OpenDHT private instant messaging, as a proof of concept of a moving « meeting key ».
DirtyForksTLA
Dining philosophers problem. Chandy/Misra solution. TLA+
mplayer-quick-tools
Tools to use mplayer in everyday life.
pipobot-modules
Some modules that can be used with 'pipobot', a modular bot for Jabber MUCs
tam2c
Compile TAM (Triangle Assembly Machine) to C
pipobot-modules
Some modules that can be used with 'pipobot', a modular bot for Jabber MUCs
uCsharp
Compilateur pour un sous ensemble du Csharp
Kordump's Repositories
Kordump/dhtim
Simple OpenDHT-based decentralized instant messaging
Kordump/dhtpim
Simple OpenDHT private instant messaging, as a proof of concept of a moving « meeting key ».
Kordump/DirtyForksTLA
Dining philosophers problem. Chandy/Misra solution. TLA+
Kordump/tam2c
Compile TAM (Triangle Assembly Machine) to C
Kordump/mplayer-quick-tools
Tools to use mplayer in everyday life.
Kordump/pipobot-modules
Some modules that can be used with 'pipobot', a modular bot for Jabber MUCs