Open Source OCaml (Objective Caml) Software
Sort By:
OCaml (Objective Caml) Software
Browse free open source OCaml (Objective Caml) Software and projects below. Use the toggles on the left to filter open source OCaml (Objective Caml) Software by OS, license, language, programming language, and project status.
-
Passwordless Authentication and Passwordless SecurityIt’s no secret — passwords can be a real headache, both for the people who use them and the people who manage them. Over time, we’ve created hundreds of passwords, it’s easy to lose track of them and they’re easily compromised. Fortunately, passwordless authentication is becoming a feasible reality for many businesses. Duo can help you get there.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
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
-
2
-
3
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.
-
4
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.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.
-
6
The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.
-
7
-
8
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
-
9
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).
-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
10
-
11
-
12
POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission
-
13
ParTools
Support for manual parallelization of sequential C programs.
ParTools allows the interactive analysis of a C program execution profile and data dependencies to facilitate the discovery and selection of suitable parallelization candidates in a manual parallelization process. The flow does not assume any specific parallelization technique, thus it can be broadly applied. The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a significant (but small) data set selected by the developer. The data collected is cross-referenced with the original source and can be interactively analyzed graphically to determine the best parallelization candidates and techniques. -
14
STP
MOVED TO GITHUB. Code here is STALE.
THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/ -
15
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.
-
16
capstone
Capstone disassembly engine
Multiple-arch, multiple-platform disassembly engine with advanced features -
17
The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu
- Previous
- You're on page 1
- Next
