Search found 20 matches
- Sat 13 Apr 2013, 18:51
- Forum: Programming
- Topic: Coq 8.3pl5 proof assistant + CoqIDE
- Replies: 0
- Views: 1482
Coq 8.3pl5 proof assistant + CoqIDE
:arrow: Compiled using Racy Puppy 5.3 :arrow: No menu entry. :arrow: You have to manually create a coqtop shorcut for coqtop.opt | coqtop.byte and a coqide shorcut for coqide.opt | coqide.byte :arrow: A x-coq MIME type is created. Plus a coq48.png midi-icon for integration with ROX-Filer. :arrow: Co...
- Sat 13 Apr 2013, 17:57
- Forum: Programming
- Topic: OCaml programming language + GTK bindings
- Replies: 1
- Views: 1804
OCaml programming language + GTK bindings
:arrow: Compiled using Racy 5.3 :arrow: No menu entry. :arrow: OCaml syntax is supported by Geany. :arrow: devx...sfs file must be installed. :arrow: If you plan to use GtkSourceView2 in your program then you need the appropriate pet plus the DEV pet . :arrow: Silly me: all ocaml and lablgtk docs ar...
- Tue 19 Mar 2013, 17:48
- Forum: Games
- Topic: SolarWolf wide edition
- Replies: 1
- Views: 3121
SolarWolf wide edition
http://screenshots.en.sftcdn.net/en/scrn/14000/14374/solarwolf-14.jpg :arrow: Requires: python pygame library. :arrow: Widescreen edition: by Adrian Posor , alors supports 4:3 original game. :arrow: Requires: at least 800×600 resolution, that means it doesn't work on my eeePC701 which has 800×480 r...
- Tue 19 Mar 2013, 17:32
- Forum: Games
- Topic: PyGame 1.9.1 pet
- Replies: 0
- Views: 2618
PyGame 1.9.1 pet
http://img.wonderhowto.com/img/89/19/63462323989210/0/pygame-all-you-need-start-making-games-python.w654.jpg The PyGame library version 1.9.1 , compiled using Puppy Racy 5.3 :arrow: Dependencies: you need Python 2.6 as included in devx_racy_5.3.sfs and SDL /image/mixer/ttf :arrow: Known default: So...
- Sun 17 Feb 2013, 17:45
- Forum: Programming
- Topic: How to rdtsc ? [SOLVED]
- Replies: 2
- Views: 2272
Ok, thanks to you. Unfortunately the story is not over : :arrow: It seems to me you overlook the HPC problems. :arrow: The time is a MHz-dependant information. Moreover cpu frequency can scale up or down. So time is just an inaccurate performance measurement. :arrow: The TSC is a MHz-independant inf...
- Sun 17 Feb 2013, 16:05
- Forum: Programming
- Topic: How to rdtsc ? [SOLVED]
- Replies: 2
- Views: 2272
How to rdtsc ? [SOLVED]
:arrow: Racy Puppy Linux 5.3 is such a great programming eco-system that i am instantly converted from Windows XP-pro SP3 8) :arrow: Among other things i love with computers is HPC (High Performance Computing) :arrow: One achievement i am proud of (found saturday 5 november 2005 ) : http://www.aerie...
- Sun 18 Apr 2010, 17:26
- Forum: Engineering/Science/Simulation
- Topic: [request] GtkMathView package
- Replies: 11
- Views: 12039
- Fri 16 Apr 2010, 15:02
- Forum: Engineering/Science/Simulation
- Topic: [request] GtkMathView package
- Replies: 11
- Views: 12039
- Sun 11 Apr 2010, 10:54
- Forum: Engineering/Science/Simulation
- Topic: [request] GtkMathView package
- Replies: 11
- Views: 12039
- Sat 10 Apr 2010, 16:29
- Forum: Engineering/Science/Simulation
- Topic: [request] GtkMathView package
- Replies: 11
- Views: 12039
[request] GtkMathView package
The title says it all, i use Objective-Caml plus i have LablGtk bindings to GtkSourceView2 and GtkMathView. So i could develop advanced math software using Puppy Linux & Geany but one piece is missing. I simply can't find a GtkMathView package for Puppy. Could someone help, please ? Supposing i ...
- Tue 22 Dec 2009, 03:16
- Forum: Next Puppy Development
- Topic: Puppy 4.4 CE - Phase 1: pet tests
- Replies: 246
- Views: 269713
puppy console
P.S: I don´t know about rxvt state, but a multitab rxvt will be good. rxvt not support UTF-8, and (I'm not be sure) multi-tab, xterm for my is better choice. For my Objective-Caml developpements on Puppy i use VTE, no multitab either, but still better than rxvt. Also, libvte supports UTF-8 and beca...
- Thu 15 Jan 2009, 15:06
- Forum: Unsorted
- Topic: Caml language
- Replies: 1
- Views: 2877
Some Objective Caml modules to be mentionned:
- LablGL provides ocaml bindings to OpenGL
- LablGTK provides ocaml bindings to GTK2
- Tue 01 Apr 2008, 00:56
- Forum: Games
- Topic: [Announce] Zep's Dreamland for Puppy
- Replies: 8
- Views: 5572
Have you managed to install this pet successfully? Depends what successfully means to you: i have installed it on my Asus EeePC for which i have yet no sound driver anyway yes, the application expects to be started from its own directory so i use ROX-filer , click-wise my-applications is not too fa...
- Mon 31 Mar 2008, 18:16
- Forum: Games
- Topic: [Announce] Zep's Dreamland for Puppy
- Replies: 8
- Views: 5572
- Mon 31 Mar 2008, 13:13
- Forum: Games
- Topic: [Announce] Zep's Dreamland for Puppy
- Replies: 8
- Views: 5572
[Announce] Zep's Dreamland for Puppy
Hi all,
Jay Bernardo's acclaimed Zep's Dreamland game now officially has a Puppy dotpet package.
The package already includes all user-contibuted levels, so you have no extra download or installation.
Enjoy
Jay Bernardo's acclaimed Zep's Dreamland game now officially has a Puppy dotpet package.
The package already includes all user-contibuted levels, so you have no extra download or installation.
Enjoy
- Sun 30 Mar 2008, 21:07
- Forum: Pour les francophones
- Topic: [Annonce] Zep's Dreamland en DotPet
- Replies: 0
- Views: 2051
[Annonce] Zep's Dreamland en DotPet
Bonsoir à tous,
La page officielle du jeu.
Le DotPet pour Puppy Linux.
Merci à Germanpup pour l'hébergement.
La page officielle du jeu.
Le DotPet pour Puppy Linux.
Merci à Germanpup pour l'hébergement.
- Fri 28 Mar 2008, 14:52
- Forum: Pour les francophones
- Topic: [ANN] DotPet pour Objective-Caml 3.10.2
- Replies: 0
- Views: 1838
[ANN] DotPet pour Objective-Caml 3.10.2
à tous,
Objective-Caml est un langage fonctionnel moderne.
Le package dotpet pour Puppy 3.0+ est disponible ici.
Merci à Germanpup pour l'espace de stockage.
Objective-Caml est un langage fonctionnel moderne.
Le package dotpet pour Puppy 3.0+ est disponible ici.
Merci à Germanpup pour l'espace de stockage.
- Fri 28 Mar 2008, 14:37
- Forum: Unsorted
- Topic: [ANN] DotPet for Objective-Caml 3.10.2
- Replies: 0
- Views: 1678
[ANN] DotPet for Objective-Caml 3.10.2
Hi all,
Objective Caml is a modern functional programming language.
The Puppy 3.0+ dotpet package is available here.
Thanks to Germanpup for file hosting.
Objective Caml is a modern functional programming language.
The Puppy 3.0+ dotpet package is available here.
Thanks to Germanpup for file hosting.
- Wed 26 Mar 2008, 17:49
- Forum: Eye Candy
- Topic: IceWM Themes Exchange
- Replies: 257
- Views: 529206
- Thu 20 Mar 2008, 16:12
- Forum: Pour les francophones
- Topic: [Résolu] installation compilateur OCaml
- Replies: 14
- Views: 11495
Bonjour, Afin d'offrir une seconde vie à mon ordinosaure (PIII 500Mhz, 128Mo), j'ai installé Toutou Linux :D ftp://download.tuxfamily.org/toutou/ToutouLinux_03-01.1.iso J'en suis tellement satisfait que je voudrais en faire ma station privilégiée pour le développement logiciel. J'ai donc téléchargé ...