Browse

OS OS

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

  • Discover Server and Application Network Dependencies Icon
    Discover Server and Application Network Dependencies Icon

    Discover and troubleshoot application dependencies to determine if it’s an application or network problem with SolarWinds Server & Application Monitor

    Server and Application Monitor helps you discover application dependencies to help identify relationships between application servers. Drill into those connections to view the associated network performance such as latency and packet loss, and application process resource utilization metrics such as CPU and memory usage. Determine if process utilization or network performance is affecting the application and end-user performance.
  • 2018 Network Intelligence Planning Guide Icon
    2018 Network Intelligence Planning Guide Icon

    Get insights on net neutrality, cloud readiness, security and WAN transformation.

    Networking is becoming cloudier, hybrid and more Internet-centric. IT managers now own user experience, whether they own the networks or not. Get our latest ebook to learn how network intelligence will help you adapt to a quickly changing Internet-centric environment.
    Are you involved with your company's network performance/operations team?
    Get Ebook
  • Archive of Formal Proofs Icon

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

  • LSS/ASS

    The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

    Downloads: 2 This Week Last Update: See Project
  • LTL3 tools

    A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

    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

  • MonPoly

    A monitor for MFOTL specifications

    MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf.

    Downloads: 2 This Week Last Update: See Project
  • Identify and respond to threats before damage is done Icon
    Identify and respond to threats before damage is done Icon

    A SIEM that makes it easy to use logs for security, compliance, and troubleshooting.

    SolarWinds® Log & Event Manager (LEM) delivers comprehensive Security Information and Event Management (SIEM) capabilities in a highly affordable, easy-to-use, and quick-to-deploy virtual appliance. LEM provides the visibility, security, and control that IT professionals need to alert on and respond to security threats, and assist in meeting the regulatory compliance guidelines of HIPAA, PCI DSS, SOX, and more. Try it FREE for 30 days!
  • ocaml-SeqBox

    Implementation of SeqBox in OCaml

    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
  • [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: 3 This Week Last Update: See Project
  • ggelite

    ggelite aims to be a clone/improvement of the old eighty's game called "elite"

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

    Set of useful Ocaml libraries. Includes: fileinfo (package to track how data files are produced), intvmap (extension to Map), mapmin (a map with access to min and max element) and vec (extensible, functional arrays).

    Downloads: 0 This Week Last Update: See Project
  • PubNub: Realtime APIs, Global Infrastructure Icon
    PubNub: Realtime APIs, Global Infrastructure Icon

    Harness the power of PubNub’s programmable APIs and robust global network to power realtime chat, geolocation, IoT, multiplayer games, and more.

    The realtime revolution is upon us. Users want data, and they want it now. Deliver the immersive, interactive experiences your audience craves with PubNub. Get to market quickly with pre-built SDKs, integrations, and serverless computing at the edge; then scale on a global network that delivers any message in under a quarter of a second with five 9’s reliability guaranteed.
  • dprle

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

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

    This project is also hosted on github at http://github.com/collaborativetrust/WikiTrust/tree/master

    Downloads: 2 This Week Last Update: See Project
  • Sirediarder

    This project aims to develop a new high-dynamic engine (codebase) for MUD's. We're not going to use any of existing codebases writing everybit from scratch. Ppl with knowledge of any programming language at any level are welcome.

    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: 6 This Week Last Update: See Project
  • savonet Icon

    savonet

    Audio and video streams generator

    Audio toolkit for streaming, aiming at complex Internet radio and video systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.

  • OCaml Network Application Environment

    A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.

  • Ocaml binding for LevMar

    This is an ocaml binding for LevMar Minimization library. The library offers minimization from IR^n to IR^d finding the point which minimizes the distance ||f(p)-x0|| where x0 is the solution in the image space. The binding enables to use ocaml functions

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

    Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation

    Downloads: 0 This Week Last Update: See Project
  • Caml Community Code

    A set of tools for the Objective Caml language build and maintained by the OCaml community.

  • timebus

    abandoned project. No real need to do that.

    A Data Bus to share Time Series at high-frequency and low latency between programs on the same machine or on the network Publisher/subscribers model Any type data Shared-memory, TCP, RDMA, Ethernet Language independent API Time and content access

  • Carafe: ConditionAl RAndom Fields, Etc.

    Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.

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

    LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

    Downloads: 0 This Week Last Update: See Project
  • Lexy, a Scrabble playing bot

    Lexy is a Scrabble-playing bot written in OCaml. Because it can be compiled to a machine executable, it is wicked fast.

    Downloads: 2 This Week Last Update: See Project
  • Boxman Quiz

    Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th

    Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight.

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

    CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next

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

No, Thank you