Trending OCaml Projects

Top 50 Trending OCaml Projects

1. opengrep

   1 1,233 14.8%

   🔎 Static code analysis engine to find security issues in code.

   

2. terrateam

   2 680 12.2%

   Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pull requests.

   

3. austral

   3 1,235 5.3%

   Systems language with linear types and capability-based security.

   

4. hardcaml

   4 738 4.9%

   Hardcaml is an OCaml library for designing hardware.

   

5. sail

   5 713 4.6%

   Sail architecture definition language (by rems-project)

   

6. learn-ocaml-workshop

   6 603 4.5%

   Exercises and projects for Jane Street's OCaml Workshop

   

7. eioio

   7 602 3.5%

   Effects-based direct-style IO for multicore OCaml

   

8. semgrep

   8 11,495 2.4%

   Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

   

9. motoko

   9 542 2.4%

   Simple high-level language for writing Internet Computer canisters

   

10. bonsai

    10 554 2.4%

    A library for building dynamic webapps, using Js_of_ocaml

    

11. unison

    11 4,509 2.3%

    Unison file synchronizer (by bcpierce00)

    

12. base

    12 903 2.0%

    Standard library for OCaml (by janestreet)

    

13. melange

    13 900 1.9%

    A mixture of tooling combined to produce JavaScript from OCaml & Reason

    

14. bincat

    14 1,780 1.7%

    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

    

15. js_of_ocaml

    15 1,006 1.7%

    Compiler from OCaml to Javascript.

    

16. ocamlformat

    16 661 1.5%

    Auto-formatter for OCaml code

    

17. rocq

    17 5,025 1.5%

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    

18. lwt

    18 749 1.5%

    OCaml promises and concurrent I/O

    

19. owl

    19 1,265 1.4%

    Owl - OCaml Scientific Computing @ https://ocaml.xyz (by owlbarn)

    

20. magic-trace

    20 4,882 1.4%

    magic-trace collects and displays high-resolution traces of what a process is doing

    

21. ocaml

    21 5,727 1.4%

    The core OCaml system: compilers, runtime system, base libraries

    

22. dune

    22 1,717 1.3%

    A composable build system for OCaml.

    

23. liquidsoap

    23 1,500 1.3%

    Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

    

24. utop

    24 870 1.3%

    Universal toplevel for OCaml

    

25. odiff

    25 2,141 1.3%

    The fastest pixel-by-pixel image visual difference tool in the world.

    

26. dream

    26 1,684 1.3%

    Tidy, feature-complete Web framework

    

27. mirage

    27 2,652 1.2%

    MirageOS is a library operating system that constructs unikernels

    

28. plzoo

    28 1,489 1.1%

    Programming Languages Zoo

    

29. vpnkit

    29 1,144 1.1%

    A toolkit for embedding VPN capabilities in your application

    

30. incremental

    30 908 1.1%

    A library for incremental computations

    

31. merlin

    31 1,624 1.0%

    Context sensitive completion for OCaml in Vim and Emacs

    

32. bap

    32 2,125 1.0%

    Binary Analysis Platform

    

33. riot

    33 612 1.0%

    An actor-model multi-core scheduler for OCaml 5 🐫 (by riot-ml)

    

34. ocaml-lsp

    34 815 0.9%

    OCaml Language Server Protocol implementation

    

35. catala

    35 2,056 0.8%

    Programming language for literate programming law specification

    

36. ocaml-cohttp

    36 731 0.8%

    An OCaml library for HTTP clients and servers using Lwt or Async

    

37. comby

    37 2,471 0.8%

    A code rewrite tool for structural search and replace that supports ~every language.

    

38. caramel

    38 1,072 0.7%

    :candy: a functional language for building type-safe, scalable, and maintainable applications

    

39. ocaml-effects-tutorial

    39 675 0.7%

    Concurrent Programming with Effect Handlers

    

40. opam

    40 1,289 0.7%

    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

    

41. pyre-check

    41 6,980 0.7%

    Performant type-checking for python.

    

42. vult

    42 505 0.6%

    Vult is a transcompiler well suited to write high-performance DSP code

    

43. mina

    43 2,034 0.6%

    Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)

    

44. book

    44 1,210 0.6%

    V2 of Real World OCaml (by realworldocaml)

    

45. 0install

    45 521 0.6%

    the core 0install package

    

46. google-drive-ocamlfuse

    46 5,699 0.5%

    FUSE filesystem over Google Drive

    

47. eff

    47 870 0.5%

    A functional programming language based on algebraic effect handlers (by matijapretnar)

    

48. infer

    48 15,183 0.4%

    A static analyzer for Java, C, C++, and Objective-C

    

49. irmin

    49 1,878 0.4%

    database git

    

50. opium

    50 774 0.4%

    Sinatra like web toolkit for OCaml

    

Index