ocaml free download - SourceForge

Showing 4 open source projects for "ocaml"

View related business solutions

Software Development Haskell Clear Filters & Widen Search

MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.

Get a free trial
1

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.

2 Reviews

Downloads: 0 This Week

Last Update: 2021-01-31
See Project
2

Functional-Programming

Functional Programming concepts, examples and patterns

This repository is a tutorial collection showcasing functional programming concepts across multiple languages (Haskell, OCaml, Scala, Scheme, Clojure, Python). It provides reusable code snippets, examples, and case studies to illustrate FP ideas in a comparative manner. The purpose of this tutorial is to illustrate functional programming concepts in many languages by providing reusable and useful snippets of code, examples, case studies and applications.

Downloads: 0 This Week

Last Update: 2025-09-04
See Project
3

mugen

MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

1 Review

Downloads: 0 This Week

Last Update: 2013-04-22
See Project
4

ExtensiveFun

Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.

Downloads: 0 This Week

Last Update: 2013-03-07
See Project
$300 Free Credits for Your Google Cloud Projects
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial