Browse

OS OS

    • More...
  • More...

Category Category

    • More...
    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Focus on Business Growth with a VoIP Solution Focus on Business Growth with a VoIP Solution Icon
    Focus on Business Growth with a VoIP Solution Icon

    Cloud Phone Service. Built for Business.

    • Over 50 business-class features
    • Easy setup. Professional installation.
    • CRM integration
  • Monitor your Cisco ASA like an expert Monitor your Cisco ASA like an expert Icon
    Monitor your Cisco ASA like an expert Icon

    See how Network Insight™ for Cisco® ASA, a feature of SolarWinds Network Performance Monitor and Network Configuration Manager, can help.

    Get visibility into the health and performance of your entire Cisco ASA environment in a single dashboard. View VPN tunnel status and monitor firewall high availability, health, and readiness. Automatically discover and filter within ACLs, show rule hit counts, and detect shadow and redundant rules. Automate the monitoring and management of your ASA infrastructure in a fully integrated solution. Try it free for 30 days!
  • Smithy

    A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.

    Downloads: 0 This Week Last Update: See Project
  • Speagram

    A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.

    Downloads: 0 This Week Last Update: See Project
  • Splow

    Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.

    Downloads: 0 This Week Last Update: See Project
  • The Acheron Limbo Compiler

    This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex

    Downloads: 1 This Week Last Update: See Project
  • The MinCaml Compiler

    *** Moved to http://github.com/esumii/min-caml ***

    *** Moved to http://github.com/esumii/min-caml *** 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!

    Downloads: 0 This Week Last Update: See Project
  • TimeCoreWar

    A Core War with time manipulation!

    This is an Ocaml implementation of a variant of Core War I’ve invented where programs can travels through time (which can replace the threads). It’s more or less functionnel now. There stay some bugs, but we can play with it right now! If you have any warrior, you can send them to me by email, I’ll send you mines back ;) To try it quickly, just type in an Unix terminal the following command: bzr branch bzr://timecorewar.bzr.sourceforge.net/bzrroot/timecorewar ; cd timecorewar ; make all opt There is also a JavaScript implementation of it, where you can play directly in your browser against some warriors there: http://timecorewar.sourceforge.net You can exchange fighter or discuss about strategies on https://sourceforge.net/p/timecorewar/discussion/fighters/ If you want any informations about this project, just contact me! Martin.

    Downloads: 0 This Week Last Update: See Project
  • Toss

    Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

    Downloads: 0 This Week Last Update: See Project
  • VHDL Symbolic Simulator

    VSYML is an automated symbolic simulator for VHDL designs.

    Downloads: 0 This Week Last Update: See Project
  • 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

  • Xdialog2Ocaml

    This project is a simple interface to the Xdialog tool.

    Downloads: 0 This Week Last Update: See Project
  • [Kro]bot Icon

    [Kro]bot

    To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.

    Downloads: 0 This Week Last Update: See Project
  • ant is not TeX

    ant is a typesetting system inspired by TeX.

    Downloads: 0 This Week Last Update: See Project
  • banshee

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

    Downloads: 8 This Week Last Update: See Project
  • bracetax

    A simple and deterministic syntax for wikis and more...

    Downloads: 0 This Week Last Update: See Project
  • camlusb

    An Ocaml binding to libusb, a library to access USB devices in user space under various Unix variants

    Downloads: 0 This Week Last Update: See Project
  • charconv64

    charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.

    Downloads: 0 This Week Last Update: See Project
  • colobo

    COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.

    Downloads: 0 This Week Last Update: See Project
  • felix

    Felix programming language specifications and translator

    Downloads: 0 This Week Last Update: See Project
  • htl2xta

    Htl translator to XTA (Uppaal).

    Downloads: 0 This Week Last Update: See Project
  • mrlpath

    Simple, lightweight program for plotting 3d paths in realtime with interactive rotation and zoom.

    Downloads: 0 This Week Last Update: See Project
  • 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 ...

  • ocaml-glpk

    OCaml bindings for GLPK

    OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems.

  • ocaml-libsvm

    OCaml-libsvm provides bindings of the libsvm libary for the OCaml language.

    Downloads: 0 This Week Last Update: See Project
  • pdfsandwich

    pdfsandwich generates "sandwich" OCR pdf files, i.e. pdf files which contain only images (but no editable text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly "behind" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries: convert, unpaper, tesseract, gs, and hocr2pdf (if tesseract < 3.03). It is known to run on Unix systems and has been tested on Linux and MacOS X. It supports parallel processing on multiprocessor systems. In contrast to most competing sandwich programs, it performs preprocessing of the scanned images, such as de-skewing or removal of dark edges etc. For further information please read the manual: http://www.tobias-elze.de/pdfsandwich/index.html

  • php-pagebuilder

    Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.

    Downloads: 0 This Week Last Update: See Project

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you