Showing page 1 of 1.

• 
  WideStudio

  WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

  139 weekly downloads
• 
  GPU Flame Fractal Renderer

  Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.

  59 weekly downloads
• 
  Camelia

  Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.

  9 weekly downloads
• 
  STP

  STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer

  12 weekly downloads
• 
  POESIA (Internet content filter)

  POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission

  7 weekly downloads
• 
  L'Aube des Héros

  AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.

  1 weekly downloads
• 
  Griff

  Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.

  1 weekly downloads
• 
  Absfracked

  A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.

  0 weekly downloads
• 
  CT8K

  CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC

  0 weekly downloads
• 
  CheckFence

  CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.

  0 weekly downloads
• 
  GyaanOS - The OS for Technology Sudents

  GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya

  0 weekly downloads
• 
  LikeEternalAndRealNeurons (L.E.A.R.N)

  0 weekly downloads
• 
  VSGE

  VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.

  0 weekly downloads