Search Results for "ocaml"
Sort By:
Showing 10 open source projects for "ocaml"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain 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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Dream Framework
Tidy, feature-complete Web framework
Dream is an easy-to-use, boilerplate-free Web framework, whose entire API fits on this page! It supports TLS, WebSockets, and GraphQL. HTTP/2 support is transparent. A nice log and OCaml runtime configuration. Easy-to-use, secure helpers for round-tripping cookies and forms. Templates that interleave OCaml with already-familiar HTML. A fully composable router. Session management with pluggable back ends; and unified error handling that leaks no English strings from any level of your app. You can integrate Dream into a fully self-contained binary, or run it in large deployments behind proxies. ... -
2
Capstone
Capstone disassembly/disassembler framework
...Implemented in pure C language, with lightweight bindings for D, Clojure, F#, Common Lisp, Visual Basic, PHP, PowerShell, Emacs, Haskell, Perl, Python, Ruby, C#, NodeJS, Java, GO, C++, OCaml, Lua, Rust, Delphi, Free Pascal & Vala (ready either in main code, or provided externally by the community). -
3
Keystone Engine
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, etc.)
...Clean/simple/lightweight/intuitive architecture-neutral API. Implemented in C/C++ languages, with bindings for Java, Masm, Visual Basic, C#, PowerShell, Perl, Python, NodeJS, Ruby, Go, Rust, Haskell & OCaml available. Native support for Windows & *nix (with Mac OSX, Linux, *BSD & Solaris confirmed). Thread-safe by design. Open-source. Keystone is based on LLVM, but it goes much further with a lot more to offer. This version fixes some important bugs inside the core of Keystone, added some new bindings & made some minor improvements. ... -
4
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
-
$300 Free Credits for Your Google Cloud ProjectsLaunch 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.
-
5
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.
-
6
A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions
-
7
-
8
VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.
-
9
Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
- Previous
- You're on page 1
- Next
