Computer Science

Forum

Topics

Posts

Last post

Programs
Some of the small programs I wrote on my spare time. They are Free Software, and written mostly in OCaml.
Topics: 14

14 Topics

38 Posts

Last post Installation script
by Vincent View the latest post
Sat Oct 26, 2013 9:36 am
Miscellaneous
Random questions or observations about and around computers
Subforum: Sarah maths
Topics: 37

37 Topics

199 Posts

Last post by Vincent View the latest post
Sat Nov 29, 2014 5:49 pm
Master Informatique
Exercices, projets etc relatifs au Master d'Informatique
Subforums: Projet MiniJaja, Projet Automates d'Interfaces, Projet Graphes, Projet CRT, Projet AD, Projet TAGED-SAT
Topics: 199

199 Topics

1098 Posts

Last post by Vincent View the latest post
Sat Jun 11, 2011 12:18 pm

Active topics

Replies

Views

Last post

Getting sources for a project

Last post by Vincent « Fri Aug 16, 2013 6:54 pm
Replies: 2
by Vincent » Mon Jul 06, 2009 5:09 pm

2 Replies

26794 Views

Last post by Vincent
Fri Aug 16, 2013 6:54 pm
Global recursive search-replace templates

Last post by Vincent « Sun May 04, 2014 4:23 pm

by Vincent » Sun May 04, 2014 4:23 pm

0 Replies

15236 Views

Last post by Vincent
Sun May 04, 2014 4:23 pm
Installation script

Last post by Vincent « Sat Oct 26, 2013 9:36 am

by Vincent » Sat Oct 26, 2013 9:36 am

0 Replies

24021 Views

Last post by Vincent
Sat Oct 26, 2013 9:36 am
ZapoTeX: Source Code to LaTeX translation

Last post by Vincent « Mon Jul 30, 2012 2:49 am
Replies: 3
by Vincent » Mon Nov 01, 2010 5:25 pm

3 Replies

32510 Views

Last post by Vincent
Mon Jul 30, 2012 2:49 am
Functionam programming awesomeness :)

Last post by Vincent « Mon Oct 31, 2011 10:12 am
Replies: 1
by Jerem000 » Sun Oct 30, 2011 9:57 pm

1 Replies

16588 Views

Last post by Vincent
Mon Oct 31, 2011 10:12 am
Finding a good functional programming Tutorial

Last post by Vincent « Thu Apr 14, 2011 4:36 pm
Replies: 11
by Jerem000 » Sun Dec 26, 2010 6:55 pm

11 Replies

56494 Views

Last post by Vincent
Thu Apr 14, 2011 4:36 pm
Algorithme en francais avec LaTex

Last post by Archfiend « Fri Feb 18, 2011 3:28 pm
Replies: 2
by Archfiend » Thu Feb 10, 2011 1:41 pm

2 Replies

18181 Views

Last post by Archfiend
Fri Feb 18, 2011 3:28 pm
Hello ...

Last post by Vincent « Wed Sep 01, 2010 6:24 am
Replies: 7
by shouyanbo » Sun Aug 22, 2010 7:24 am

7 Replies

30115 Views

Last post by Vincent
Wed Sep 01, 2010 6:24 am
Algorithms For Tree Automata with Constraints (Ms thesis)

Last post by Vincent « Tue Aug 24, 2010 1:11 pm

by Vincent » Tue Aug 24, 2010 1:11 pm

0 Replies

17048 Views

Last post by Vincent
Tue Aug 24, 2010 1:11 pm
Question sur le service prévisionnel

Last post by shouyanbo « Sun Aug 01, 2010 3:07 pm
Replies: 4
by shouyanbo » Wed Jul 28, 2010 7:28 am

4 Replies

22038 Views

Last post by shouyanbo
Sun Aug 01, 2010 3:07 pm
Un petit problème avec XML

Last post by Mehdi H. IRAQI « Sat Jul 03, 2010 1:04 pm
Replies: 2
by Mehdi H. IRAQI » Sat Jul 03, 2010 11:30 am

2 Replies

17693 Views

Last post by Mehdi H. IRAQI
Sat Jul 03, 2010 1:04 pm
Compilation d'images avec latex

Last post by Vincent « Fri Jun 18, 2010 9:08 am
Replies: 4
by Jerem000 » Wed Jun 16, 2010 2:15 pm

4 Replies

22301 Views

Last post by Vincent
Fri Jun 18, 2010 9:08 am
To position a picture

Last post by Vincent « Wed Jun 16, 2010 3:56 pm
Replies: 1
by gdesvignes » Wed Jun 16, 2010 8:00 am

1 Replies

15069 Views

Last post by Vincent
Wed Jun 16, 2010 3:56 pm
Specific numbering and colored section

Last post by Vincent « Thu Jun 03, 2010 8:55 pm
Replies: 3
by gdesvignes » Wed Jun 02, 2010 8:56 am

3 Replies

19605 Views

Last post by Vincent
Thu Jun 03, 2010 8:55 pm
Symbols on LaTeX

Last post by Vincent « Fri May 14, 2010 3:32 pm
Replies: 6
by gdesvignes » Fri May 14, 2010 11:15 am

6 Replies

24122 Views

Last post by Vincent
Fri May 14, 2010 3:32 pm
Curriculum Vitae with LaTeX

Last post by gdesvignes « Wed May 12, 2010 8:55 am
Replies: 6
by Mathias COQBLIN » Mon Oct 26, 2009 5:23 pm

6 Replies

24984 Views

Last post by gdesvignes
Wed May 12, 2010 8:55 am
Project TAGED-membership

Last post by Vincent « Mon Apr 26, 2010 9:53 pm

by Vincent » Mon Apr 26, 2010 9:53 pm

0 Replies

15777 Views

Last post by Vincent
Mon Apr 26, 2010 9:53 pm
ArguL: The draft of the beginning of something

Last post by Vincent « Fri Feb 12, 2010 7:11 pm
Replies: 2
by Vincent » Wed Feb 10, 2010 2:39 pm

2 Replies

15700 Views

Last post by Vincent
Fri Feb 12, 2010 7:11 pm
Open Source and Evil

Last post by Vincent « Fri Feb 12, 2010 2:03 pm

by Vincent » Fri Feb 12, 2010 2:03 pm

0 Replies

15256 Views

Last post by Vincent
Fri Feb 12, 2010 2:03 pm
Age of Empires 2 - Next Gen.

Last post by Vincent « Tue Feb 09, 2010 12:09 am
Replies: 1
by Mathias COQBLIN » Mon Feb 08, 2010 11:10 pm

1 Replies

13169 Views

Last post by Vincent
Tue Feb 09, 2010 12:09 am
rhaaaa

Last post by Vincent « Mon Feb 08, 2010 12:00 pm

by Vincent » Mon Feb 08, 2010 12:00 pm

0 Replies

15393 Views

Last post by Vincent
Mon Feb 08, 2010 12:00 pm
Presentation IDM

Last post by Vincent « Thu Feb 04, 2010 12:36 pm

by Vincent » Thu Feb 04, 2010 12:36 pm

0 Replies

15509 Views

Last post by Vincent
Thu Feb 04, 2010 12:36 pm
Projet MESI

Last post by Mathias COQBLIN « Wed Feb 03, 2010 2:25 am
Replies: 1
by didieryoga » Tue Feb 02, 2010 8:25 pm

1 Replies

13507 Views

Last post by Mathias COQBLIN
Wed Feb 03, 2010 2:25 am
lien TP CRT

Last post by Vincent « Wed Jan 27, 2010 12:09 am
Replies: 3
by Donald SREY » Tue Jan 26, 2010 1:59 pm

3 Replies

19164 Views

Last post by Vincent
Wed Jan 27, 2010 12:09 am
DumBeX: Dumb B to LaTeX translation

Last post by GeorgesMariano « Tue Jan 26, 2010 12:31 pm
Replies: 5
by Vincent » Sat Dec 20, 2008 12:48 pm

5 Replies

72527 Views

Last post by GeorgesMariano
Tue Jan 26, 2010 12:31 pm
livre LaTeX

Last post by Vincent « Fri Jan 22, 2010 11:55 pm
Replies: 1
by gdesvignes » Fri Jan 22, 2010 6:12 pm

1 Replies

13087 Views

Last post by Vincent
Fri Jan 22, 2010 11:55 pm
Evaluation TP SVT

Last post by Mehdi H. IRAQI « Tue Dec 29, 2009 12:18 pm

by Mehdi H. IRAQI » Tue Dec 29, 2009 12:18 pm

0 Replies

17167 Views

Last post by Mehdi H. IRAQI
Tue Dec 29, 2009 12:18 pm
Listing dans LaTeX

Last post by Vincent « Mon Dec 28, 2009 1:38 am
Replies: 1
by gdesvignes » Mon Dec 28, 2009 12:35 am

1 Replies

12893 Views

Last post by Vincent
Mon Dec 28, 2009 1:38 am
Projet POSIX

Last post by Vincent « Wed Dec 16, 2009 7:42 pm

by Vincent » Wed Dec 16, 2009 7:42 pm

0 Replies

15459 Views

Last post by Vincent
Wed Dec 16, 2009 7:42 pm
Skeleton bibtex latex

Last post by Johan HERRMANN « Sun Dec 06, 2009 2:35 pm
Replies: 5
by Johan HERRMANN » Thu Dec 03, 2009 7:29 pm

5 Replies

22846 Views

Last post by Johan HERRMANN
Sun Dec 06, 2009 2:35 pm
Révision de SVT

Last post by didieryoga « Thu Dec 03, 2009 10:50 pm
Replies: 4
by didieryoga » Fri Nov 27, 2009 2:59 pm

4 Replies

18449 Views

Last post by didieryoga
Thu Dec 03, 2009 10:50 pm
Calcul distance lattitude longitude

Last post by Cannelle « Thu Dec 03, 2009 10:28 pm
Replies: 3
by Cannelle » Thu Dec 03, 2009 12:43 am

3 Replies

14752 Views

Last post by Cannelle
Thu Dec 03, 2009 10:28 pm
La bataille HADOPI.

Last post by Mathias COQBLIN « Tue Nov 24, 2009 9:31 am

by Mathias COQBLIN » Tue Nov 24, 2009 9:31 am

0 Replies

16955 Views

Last post by Mathias COQBLIN
Tue Nov 24, 2009 9:31 am
eCinema

Last post by Mathias COQBLIN « Mon Nov 09, 2009 2:42 pm

by Mathias COQBLIN » Mon Nov 09, 2009 2:42 pm

0 Replies

15968 Views

Last post by Mathias COQBLIN
Mon Nov 09, 2009 2:42 pm
MESI Cryptographie

Last post by didieryoga « Sun Nov 01, 2009 6:26 pm
Replies: 2
by didieryoga » Sun Nov 01, 2009 4:33 pm

2 Replies

14634 Views

Last post by didieryoga
Sun Nov 01, 2009 6:26 pm
Configurer SVN pour passer à travers le proxy de la fac

Last post by Vincent « Wed Oct 07, 2009 4:38 pm

by Vincent » Wed Oct 07, 2009 4:38 pm

0 Replies

15179 Views

Last post by Vincent
Wed Oct 07, 2009 4:38 pm
TP2 SVT

Last post by Olivier FINOT « Wed Oct 07, 2009 9:44 am

by Olivier FINOT » Wed Oct 07, 2009 9:44 am

0 Replies

17367 Views

Last post by Olivier FINOT
Wed Oct 07, 2009 9:44 am
English: Short Presentation on Cryptography

Last post by Vincent « Tue Sep 22, 2009 12:03 pm

by Vincent » Tue Sep 22, 2009 12:03 pm

0 Replies

15416 Views

Last post by Vincent
Tue Sep 22, 2009 12:03 pm
Versatile Data Format

Last post by Vincent « Sat Jul 11, 2009 7:13 pm

by Vincent » Sat Jul 11, 2009 7:13 pm

0 Replies

17458 Views

Last post by Vincent
Sat Jul 11, 2009 7:13 pm
Projet LIASAS

Last post by Vincent « Wed Jul 08, 2009 4:36 am

by Vincent » Wed Jul 08, 2009 4:36 am

0 Replies

15772 Views

Last post by Vincent
Wed Jul 08, 2009 4:36 am
Projet Algo-Graphs

Last post by Vincent « Wed Jul 08, 2009 4:28 am

by Vincent » Wed Jul 08, 2009 4:28 am

0 Replies

15185 Views

Last post by Vincent
Wed Jul 08, 2009 4:28 am
Projet Quarto-MOIA.

Last post by Vincent « Wed Jul 08, 2009 4:27 am

by Vincent » Wed Jul 08, 2009 4:27 am

0 Replies

15351 Views

Last post by Vincent
Wed Jul 08, 2009 4:27 am
PLTeX: Prolog to LaTeX

Last post by Vincent « Mon Jul 06, 2009 5:18 pm

by Vincent » Mon Jul 06, 2009 5:18 pm

0 Replies

21716 Views

Last post by Vincent
Mon Jul 06, 2009 5:18 pm
Linux: making image of a drive and of the MBR

Last post by Vincent « Fri Jun 19, 2009 12:14 am

by Vincent » Fri Jun 19, 2009 12:14 am

0 Replies

17043 Views

Last post by Vincent
Fri Jun 19, 2009 12:14 am
Rapports de TD Algorithmique Combinatoire

Last post by Vincent « Tue Jun 16, 2009 6:36 pm

by Vincent » Tue Jun 16, 2009 6:36 pm

0 Replies

15952 Views

Last post by Vincent
Tue Jun 16, 2009 6:36 pm
Rapport TPs Preuve et Evaluation de Programmes

Last post by Vincent « Tue Jun 16, 2009 6:35 pm

by Vincent » Tue Jun 16, 2009 6:35 pm

0 Replies

15250 Views

Last post by Vincent
Tue Jun 16, 2009 6:35 pm
slides

Last post by Yassine BEJJA « Sat May 23, 2009 7:22 pm
Replies: 2
by Yassine BEJJA » Fri May 22, 2009 12:12 pm

2 Replies

15949 Views

Last post by Yassine BEJJA
Sat May 23, 2009 7:22 pm
Get rid of .svn

Last post by Vincent « Thu May 14, 2009 10:16 am

by Vincent » Thu May 14, 2009 10:16 am

0 Replies

15082 Views

Last post by Vincent
Thu May 14, 2009 10:16 am
Caesar3 update

Last post by Vincent « Mon Apr 20, 2009 3:32 pm

by Vincent » Mon Apr 20, 2009 3:32 pm

0 Replies

15199 Views

Last post by Vincent
Mon Apr 20, 2009 3:32 pm
Patch KeY: Export LaTeX logic proof

Last post by Vincent « Fri Apr 17, 2009 4:52 pm
Replies: 7
by Vincent » Fri Apr 10, 2009 8:44 pm

7 Replies

39739 Views

Last post by Vincent
Fri Apr 17, 2009 4:52 pm

Return to Board Index

Who is online

Users browsing this forum: No registered users and 3 guests