Search found 20 matches

by SpiceGuid
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...
by SpiceGuid
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...
by SpiceGuid
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...
by SpiceGuid
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...
by SpiceGuid
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...
by SpiceGuid
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...
by SpiceGuid
Sun 18 Apr 2010, 17:26
Forum: Engineering/Science/Simulation
Topic: [request] GtkMathView package
Replies: 11
Views: 12039

My config :

Puppy Linux: 4.31 full install
OCaml: 3.11.2
LablGtk: 2.14 --with-gtksourceview2
by SpiceGuid
Fri 16 Apr 2010, 15:02
Forum: Engineering/Science/Simulation
Topic: [request] GtkMathView package
Replies: 11
Views: 12039

Thanks to all contributors.

Hopefully i will install GtkMathView and the Objective-Caml bindings :D
I suppose i need a gtkmathview-dev package, isn't it ?
by SpiceGuid
Sun 11 Apr 2010, 10:54
Forum: Engineering/Science/Simulation
Topic: [request] GtkMathView package
Replies: 11
Views: 12039

Wow :D

I certainly did'nt expect such a fast and informed reply.
Thanks to you.
by SpiceGuid
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 ...
by SpiceGuid
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...
by SpiceGuid
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
http://wwwfun.kurims.kyoto-u.ac.jp/soft/
by SpiceGuid
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...
by SpiceGuid
Mon 31 Mar 2008, 18:16
Forum: Games
Topic: [Announce] Zep's Dreamland for Puppy
Replies: 8
Views: 5572

My apologies for this little quirk.

If your dotpet is named zeps_dreamland.pet then rename it as zeps-dreamland-1.02.pet and it will complete the install in /root/my-applications.

Hope it helps.
by SpiceGuid
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 :)
by SpiceGuid
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.
by SpiceGuid
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

Image à 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.
by SpiceGuid
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.
by SpiceGuid
Wed 26 Mar 2008, 17:49
Forum: Eye Candy
Topic: IceWM Themes Exchange
Replies: 257
Views: 529206

Just wanted to say you themers do a great work that really adds value.

Having a few excellent themes saves a great amount of time digging a load of average stuff.
by SpiceGuid
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é ...