User:Salimma

From FedoraProject

(Difference between revisions)
Jump to: navigation, search
m (Michel Salim: list more packages)
(Packaging: update)
Line 5: Line 5:
  
 
== Fedora activities ==
 
== Fedora activities ==
=== Packaging ===
+
=== Package ownership ===
  
 
I maintain [https://admin.fedoraproject.org/pkgdb/users/packages/salimma multiple packages]; see below for an incomplete categorized list.
 
I maintain [https://admin.fedoraproject.org/pkgdb/users/packages/salimma multiple packages]; see below for an incomplete categorized list.
  
Programming languages:
+
==== Programming languages ====
 
* The [http://www.falconpl.org/ Falcon] programming language ([https://bugzilla.redhat.com/show_bug.cgi?id=430307 review])
 
* The [http://www.falconpl.org/ Falcon] programming language ([https://bugzilla.redhat.com/show_bug.cgi?id=430307 review])
 
* [http://cs.indiana.edu/~aghuloum/ikarus/ Ikarus Scheme], an R6RS Scheme optimizing compiler
 
* [http://cs.indiana.edu/~aghuloum/ikarus/ Ikarus Scheme], an R6RS Scheme optimizing compiler
Line 15: Line 15:
 
* [http://www-sop.inria.fr/mimosa/scheme2js/ Scheme2Js], a Scheme to Javascript compiler
 
* [http://www-sop.inria.fr/mimosa/scheme2js/ Scheme2Js], a Scheme to Javascript compiler
 
* [http://vala.paldo.org Vala] , a C#-like high-level language for GNOME programming
 
* [http://vala.paldo.org Vala] , a C#-like high-level language for GNOME programming
* gedit-vala, a collection of Vala plugins for the gedit editor
+
* [http://code.google.com/p/vtg/ gedit-vala], a collection of Vala plugins for the gedit editor
  
some Python software:
+
==== Python ====
 
* [http://www.djangoproject.com/ Django] ([https://bugzilla.redhat.com/show_bug.cgi?id=215267 review]), a web framework
 
* [http://www.djangoproject.com/ Django] ([https://bugzilla.redhat.com/show_bug.cgi?id=215267 review]), a web framework
 
* [http://www.nltk.org python-nltk] ([https://bugzilla.redhat.com/show_bug.cgi?id=168905 review]), a natural language toolkit. ''(obsolete)''
 
* [http://www.nltk.org python-nltk] ([https://bugzilla.redhat.com/show_bug.cgi?id=168905 review]), a natural language toolkit. ''(obsolete)''
Line 25: Line 25:
  
  
Board game-related:
+
==== Games ====
 
* quarry, a board game GUI supporting the Game Text Protocol
 
* quarry, a board game GUI supporting the Game Text Protocol
* gnugo, the GNU Go engine; supports GTP
+
* [http://www.gnu.org/software/gnugo/ gnugo], the GNU Go engine; supports GTP
* grhino, a Reversi engine with both its own GUI and GTP support
+
* [http://rhino.sourceforge.net/ grhino], a Reversi engine with both its own GUI and GTP support
  
Console tools:
+
==== Console ====
 
* [http://www.kernel.org/pub/linux/kernel/people/gregkh/bti bti], a command-line Twitter client
 
* [http://www.kernel.org/pub/linux/kernel/people/gregkh/bti bti], a command-line Twitter client
 
* [http://utopia.knoware.nl/~hlub/uck/rlwrap/ rlwrap], a wrapper for readline
 
* [http://utopia.knoware.nl/~hlub/uck/rlwrap/ rlwrap], a wrapper for readline
  
Publishing:
+
==== Publishing ====
 
* [http://www.fbreader.org/ fbreader], an e-book reader
 
* [http://www.fbreader.org/ fbreader], an e-book reader
 
* [http://stosberg.net/odt2txt/ odt2txt], extracts text from OO.o documents
 
* [http://stosberg.net/odt2txt/ odt2txt], extracts text from OO.o documents
 
* [http://go.warwick.ac.uk/pdfjam pdfjam], PDF utilities
 
* [http://go.warwick.ac.uk/pdfjam pdfjam], PDF utilities
  
 +
=== Co-maintainership ===
 +
* [http://www.getmiro.com/ Miro], Internet TV player
 +
* [http://www.reinteract.org/ reinteract], interactive Python shell
 +
 +
=== Under review ===
 +
* [http://jocaml.inria.fr JoCaml], Join-calculus extension to OCaml
 +
* [http://code.google.com/p/pure-lang/ pure] ([https://bugzilla.redhat.com/show_bug.cgi?id=488563 review]), the Pure programming language
 +
 +
=== Others ===
 
There are some packages that I have contributed to, but am not co-maintaining (yet):
 
There are some packages that I have contributed to, but am not co-maintaining (yet):
 
* [http://llvm.org LLVM] ([https://bugzilla.redhat.com/show_bug.cgi?id=455502 bugfix], [https://bugzilla.redhat.com/show_bug.cgi?id=474147 enhancement])
 
* [http://llvm.org LLVM] ([https://bugzilla.redhat.com/show_bug.cgi?id=455502 bugfix], [https://bugzilla.redhat.com/show_bug.cgi?id=474147 enhancement])
I also maintain ''gai'', a framework for writing GNOME panel applets, and ''gai-pal'', a virtual "pet" that can display a fortune cookie or another program's output.
+
* [http://www.gnustep.org gnustep-make] ([https://bugzilla.redhat.com/show_bug.cgi?id=488534 enhancement])
  
 
=== Reviews ===
 
=== Reviews ===

Revision as of 01:28, 13 March 2009

Contents

Contact info

Email: salimma AT fedoraproject.org, michel.sylvan AT gmail.com

IRC: hircus

Fedora activities

Package ownership

I maintain multiple packages; see below for an incomplete categorized list.

Programming languages

  • The Falcon programming language (review)
  • Ikarus Scheme, an R6RS Scheme optimizing compiler
  • Nickle , a C-like prototyping environment
  • Scheme2Js, a Scheme to Javascript compiler
  • Vala , a C#-like high-level language for GNOME programming
  • gedit-vala, a collection of Vala plugins for the gedit editor

Python


Games

  • quarry, a board game GUI supporting the Game Text Protocol
  • gnugo, the GNU Go engine; supports GTP
  • grhino, a Reversi engine with both its own GUI and GTP support

Console

  • bti, a command-line Twitter client
  • rlwrap, a wrapper for readline

Publishing

Co-maintainership

Under review

  • JoCaml, Join-calculus extension to OCaml
  • pure (review), the Pure programming language

Others

There are some packages that I have contributed to, but am not co-maintaining (yet):

Reviews

Completed

  • mingw32-gtk-vnc
  • mingw32-gtk2

Ongoing


Fedora Free Media

I am a member of the Free Media program, focusing on delivering x86_64 DVDs starting in December 2006.