Browse

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Mac CRM & Project Management app for small business Mac CRM & Project Management app for small business Icon
    Mac CRM & Project Management app for small business Icon

    Manage your leads, clients and projects – all in one place. Daylite keeps everyone on the same page.

    Stop using frustrating spreadsheets and expensive, clunky CRMs that waste more time than they save. Try Daylite, a better way to keep track of relationships and projects so your team can win more business & get more done.
    1/2
    Do you and everyone who will be using your CRM use Macs, iPhones & iPads?
    2/2
    One last question before you visit our site:

    How many people in your company will need to use your CRM?
  • 2018 Network Intelligence Planning Guide 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
  • 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: 3 This Week Last Update: See Project
  • CamlDT

    Eclipse Plugin of OCaml

  • CodeTime Parallel Software Platform

    The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

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

    FParsec.

    Downloads: 0 This Week Last Update: See Project
  • Intercalation Calculus Prover

    An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

    Downloads: 0 This Week Last Update: See Project
  • Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
    Focus on your Business with an integrated Business Cloud Icon

    Reliable & Secure Communications Systems

    • 90+ features: video, file management, cloud phones
    • 99.999% financially backed uptime SLA
    • Expert support, certified by J.D. Power 2 years in a row
  • 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: 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
  • ODT: OCaml Development Tools Icon

    ODT: OCaml Development Tools

    The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

    Downloads: 0 This Week Last Update: See Project
  • OX(ML)

    OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.

    Downloads: 0 This Week Last Update: See Project
  • 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
  • Microsoft Office 365 monitoring simplified Microsoft Office 365 monitoring simplified Icon
    Microsoft Office 365 monitoring simplified Icon

    Monitor your Office 365® (O365) Exchange™ mailboxes and system applications with the SolarWinds® Server & Application Monitor unified platform.

    SolarWinds Server & Application Monitor allows you to monitor your hybrid IT applications and systems. Monitor Microsoft® Office 365 Exchange side by side on your on-premises Exchange server and other applications. Check, track, and report on O365 user/shared mailbox growth, users over quota, archived mailboxes, inactive mailboxes, mobile device, mailbox groups, and more. You can also monitor Microsoft portal access to help ensure you’re meeting your SLAs.
  • RemoteDJ

    Browser based Remote DJ software

    A system to DJ and broadcast your show to a SHOUTCAST/ICECAST server using your browser for the DJ console. Put your music and data on a server and DJ from anywhere you have an internet connection. Even have multiple DJs collaborating during one show. Uses cross platform packaged components, so you can mix and match front end/back end. Mix and match component releases.

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

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

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

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

    Logic Data Base Designer

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

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

No, Thank you