Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Java Ocaml Open Source Projects

Open source projects categorized as Java Ocaml
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8most recent commit 3 months ago
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22most recent commit 3 months agocargo extism} Downloads
Comby ⭐ 1,996
A code rewrite tool for structural search and replace that supports ~every language.
most recent commit a year ago
Cpbook Code ⭐ 1,859
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
most recent commit 3 months ago
Nodebook ⭐ 1,490
Nodebook - Multi-Lang Web REPL + CLI Code runner
most recent commit 3 years ago
Uri Online Judge Solutions ⭐ 307
Repositório de soluções de exercícios do URI Online Judge.
most recent commit 4 months ago
Polyglot Euler ⭐ 69
📜 Project Euler solutions in various programming languages
most recent commit 2 years ago
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12most recent commit 10 months agonpm qcert} Downloads
Pl Lecturenotes ⭐ 46
most recent commit 4 years ago
Fluid ⭐ 37
🐙 Code-generated, Auto-versioned, & Smart Web APIs
most recent commit 6 years ago
Intellij Ocaml ⭐ 21
This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust. If you are looking for a complete and maintained solution, please check the ReasonML plugin.
most recent commit 5 months ago
Codingame ⭐ 20
Personal CodinGame solutions
most recent commit 6 months ago
Awesome Advent Of Code ⭐ 19
most recent commit 5 months ago
Javalib ⭐ 17
Javalib is a library to access and manipulate Java class files from OCaml.
most recent commit a year ago
Rustnotes ⭐ 16
most recent commit 4 years ago
Mcoq ⭐ 14
Mutation analysis tool for Coq verification projects
most recent commit 4 years ago
Native Interop ⭐ 10
Native Interoperability (Experimental)
most recent commit 4 years ago
Knn ⭐ 9
Java 7/8 implementations of K nearest neightbour (actually 1-nn)
most recent commit 10 years ago
Experiments ⭐ 9
Just toys
most recent commit a year ago
Camljava ⭐ 7
Low-level OCaml/Java interface
most recent commit 4 years ago
Ocamljava Maven Plugin ⭐ 7
maven integration for ocamljava and related tools
most recent commit 8 years ago
Ocaml Java ⭐ 6
[WIP] Java <-> OCaml interface
most recent commit 2 years ago
Jloj ⭐ 5
Java 8 and Clojure interop
most recent commit 8 years ago
The 3 Most Depended On Java Ocaml Open Source Projects
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22latest release December 01, 2023most recent commit 3 months agocargo extism} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
The 3 Latest Releases In Java Ocaml Open Source Projects
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22latest release December 01, 2023most recent commit 3 months agocargo extism} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.