Showing page 3 of 3.

• 
  The MinCaml Compiler

  MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

  0 weekly downloads
• 
  The PCL Compiler

  PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.

  0 weekly downloads
• 
  TopDeg

  Program for topological degree calculation.

  0 weekly downloads
• 
  Try Language 1

  TL is a new object-oriented programming language.

  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
• 
  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

  0 weekly downloads
• 
  XMTC: PRAM-like Programming

  A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

  0 weekly downloads
• 
  banshee

  banshee-- A toolkit for building constraint-based program analyses

  0 weekly downloads
• 
  camomile

  Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.

  0 weekly downloads
• 
  coThreads

  coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob

  0 weekly downloads
• 
  dprle

  DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.

  0 weekly downloads
• 
  felix

  Felix programming language specifications and translator

  0 weekly downloads
• 
  htl2xta

  Htl translator to XTA (Uppaal).

  0 weekly downloads
• 
  loon

  loon is a GLR parser generator that takes EBNF grammars as specifications. Tokens are specified in the grammar file, and it generates a parse tree instead of executing actions. A single grammar can output a parser in any supported language.

  0 weekly downloads
• 
  mugen

  MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

  0 weekly downloads
• 
  newspeak

  Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

  0 weekly downloads
• 
  oCaml Ultimate Lisp

  Objective Caml Ultimate Lisp is a Lisp dialect implemented in OCaml. It performs many features, such as lazy evaluation, and both static and dynamic linkage, partial application of functions, tail-recursivity ...

  0 weekly downloads
• 
  ocaml-glpk

  OCaml bindings for GLPK

  0 weekly downloads
• 
  ogit

  OGit is a Just-In-Time compilation framework written in OCaml. It currently supports 2 different back-ends (LLVM and a proprietary one).

  0 weekly downloads
• 
  oounit

  object oriented unit testing framework for ocaml

  0 weekly downloads
• 
  sfmlml

  SFMLML is an Objective Caml binding to the SFML library (http://sfml-dev.org). The SFML (simple and fast multimedia library) is a multimedia library. This binding allow you to use it in OCaml. This binding is now stable and complete.

  0 weekly downloads
• 
  timebus

  abandoned project. No real need to do that.

  0 weekly downloads
• 
  vlab

  The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu

  0 weekly downloads
• 
  vreng

  VREng (Virtual Reality Engine) is an Interactive and Distributed 3D Application allowing navigation in Virtual Environments connected over the Internet using Unicast or Multicast if available.

  0 weekly downloads

• Back
• 1
• 2
• 3
• Next