Browse

OS OS

  • More...

Category Category

License License

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

Database Environment Database Environment

Freshness Freshness

Top Apps

  • C++Builder: 1 codebase, 1 UI designer, 4 platforms. C++Builder: 1 codebase, 1 UI designer, 4 platforms. Icon
    C++Builder: 1 codebase, 1 UI designer, 4 platforms. Icon

    The best visual IDE for creating fast performance native apps across platforms. Start today a 30-Day trial (no credit card needed).

    Modern C++, standards-compliant with enhanced language extensions, beautiful native UI tools, and cross-compilation to Windows, macOS, iOS and Android. We provide the ‘full stack’ for native app development, from database to native and flexible UI to REST and more. If you want crossplatform C++ done right - choose the Complete App Platform for Multi-Device Native Development - Choose C++Builder.
  • Identify and respond to threats before damage is done 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!
  • JavaScript Object Notation

    The JavaScript Object Notation (JSON) is a simple and lightweight data interchange format. This project provides libraries for manipulating JSON objects for various languages. For more information on JSON, visit http://www.json.org/

    Downloads: 13 This Week Last Update: See Project
  • Abstract Syntax Description Language

    The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate.

  • MP4MENU

    MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation

    Downloads: 3 This Week Last Update: See Project
  • Pycaml -- Python Embedding API for Ocaml

    A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.

    Downloads: 1 This Week Last Update: See Project
  • Appropriate Website Factory

    It is the ambition of this project to create and support a process for civil society organisations to maintain effective websites that is as simple as possible, but no simpler.

    Downloads: 0 This Week Last Update: See Project
  • Pyramid - The Complete Self-Service Analytics Platform Pyramid - The Complete Self-Service Analytics Platform Icon
    Pyramid - The Complete Self-Service Analytics Platform Icon

    Easily combine data from multiple sources to build dashboards and reports with our scalable solution built for mid-size to enterprise companies.

    Pyramid combines analytic tools often found in separate applications. It features a graphically based ETL to model data and incorporate machine learning algorithms, intuitive data discovery tools that produce simple and advanced visualizations, a presentation builder for creating analytic applications and presentations, and an enterprise-grade report builder—all in a single, integrated platform that can be accessed from any browser or device.
  • Atom Writer

    The Atom writer is developed to assist the user create an Atom 1.0 standard document which also provides recommended links to user’s FOAF and OTER documents. The Atom writer make use of J2SE, JDom, Rome 0.8, Joda Time and JUD UUID Generator Libraries

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

    Confluence is a functional programming language for digital logic design.

    Downloads: 0 This Week Last Update: See Project
  • Cooperative Internet hosting tools Icon

    Cooperative Internet hosting tools

    This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g

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

    From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.

    Downloads: 0 This Week Last Update: See Project
  • Dynamic web tools for Standard ML

    Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation

    Downloads: 0 This Week Last Update: See Project
  • Locate Sensitive Data across Networks and Workstations Locate Sensitive Data across Networks and Workstations Icon
    Locate Sensitive Data across Networks and Workstations Icon

    Build the Business Case for Effective Security Investments

    Your customers recognize the importance of security, but often don’t realize the urgency until they see something tangible. SolarWinds Risk Intelligence assigns value to your data vulnerability, helping you build a strong business case for data protection and triage the most important problems to tackle. Some powerful features include data risk communicated as financial impact, at-risk data discovery and PCI DSS, PAN & PII scans.
  • GNU VisualCTI

    java telephony API, Dialogic's hardware support, telephony application IDE, mutlichannel telephony applications Server

    Downloads: 0 This Week Last Update: See Project
  • IsaPlanner Reasoning Tools

    IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);

    Downloads: 0 This Week Last Update: See Project
  • Kokatrix 2D singleplayer RPG

    Kokatrix is a system for building 2D single-player roleplaying games written in Objective Caml. Main features are a graphics engine, a map editor, scripting system and tools for generating large worlds.

    Downloads: 0 This Week Last Update: See Project
  • Medor VPN

    Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)

  • OCI8 bindings for ocaml

    Objective Caml library over Oracle OCI8, with some higher level features.

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

    An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.

    Downloads: 0 This Week Last Update: See Project
  • SML/NJ Exception Analyzer

    The exception analyzer statically detects may-uncaught exceptions from Standard ML programs. The analyzer is completely embedded in the SML/NJ 110, to be interactively used inside the compiler's print-eval loop and also CM.

  • Standard ML Utilities

    Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm

    Downloads: 0 This Week Last Update: See Project
  • Tom 7 Misc

    Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!

    Downloads: 0 This Week Last Update: See Project
  • U of I Indirect

    This project is for credit in UIUC's CS327 Software Engineering class. This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.

    Downloads: 0 This Week Last Update: See Project
  • a validating tool of BPEL programme

    This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

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

    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

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

    aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.

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

    A multithreaded irc bot written in Ocaml

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

    HOL4 mechanisation of Martelli and Montanari's paper on linear unification.

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

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

No, Thank you