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

  • 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!
  • 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!
  • CIL (C Intermediate Language)

    CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

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

  • WikiTrust

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

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

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

    FParsec.

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

    GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.

    Downloads: 3 This Week Last Update: See Project
  • svgconv

    svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.

    Downloads: 0 This Week Last Update: See Project
  • OCaml Code Coverage Checker

    Camlp4 extension to check code coverage of any OCaml code

    Downloads: 0 This Week Last Update: See Project
  • Rapid Development Environment like no other! Rapid Development Environment like no other! Icon
    Rapid Development Environment like no other! Icon

    89% of Our Customers Reduced Development Cycles Using RAD Studio. Start today a 30-Day trial (no credit card needed).

    RAD Studio™: Build cross-platform apps ridiculously FAST!  The top challenges customers solved with RAD Studio while developing applications include: Creating fast runtime application performance (50%), Keeping up with latest platforms and devices (50%), Meeting project deadlines (37%), Deploying to multiple platforms (36%) and Responsive design for multiple device types (27%).
  • ocaml-SeqBox

    Implementation of SeqBox in OCaml

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

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

    Downloads: 2 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: 7 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
  • 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: 2 This Week Last Update: See Project
  • 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
  • Previous
  • You're on page 1
  • Next

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

No, Thank you