OCaml

Top Star Repos

/search/repositories?q=language:OCaml&sort=stars&order=desc&per_page=30

1. facebook / flow

   20363

   Adds static typing to JavaScript to improve developer productivity and code quality.
   
2. facebook / infer

   10617

   A static analyzer for Java, C, C++, and Objective-C
   
3. facebook / reason

   8442

   Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
   
4. BuckleScript / bucklescript

   4559

   A backend for the OCaml compiler which emits JavaScript.
   
5. batsh-dev-team / Batsh

   3929

   A language that compiles to Bash and Windows Batch
   
6. astrada / google-drive-ocamlfuse

   3340

   FUSE filesystem over Google Drive
   

1. facebook / pyre-check

   3236

   Performant type-checking for python.
   
2. ocaml / ocaml

   2651

   The core OCaml system: compilers, runtime system, base libraries
   
3. coq / coq

   2561

   Coq is a formal proof management system. 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.
   
4. facebookarchive / pfff

   2395

   Tools for code analysis, visualizations, or style-preserving source transformation.
   
5. fastpack / fastpack

   2210

   Pack JS code fast & easy
   
6. bcpierce00 / unison

   1418

   Unison file synchronizer
   
7. mirage / mirage

   1413

   MirageOS is a library operating system that constructs unikernels
   
8. tomprimozic / type-systems

   1279

   Implementations of various type systems in OCaml.
   
9. grain-lang / grain

   1253

   Compiler for Grain, the functional programming language. A modern web staple. 🌾
   
10. MLstate / opalang

    1207

    The Opa Language for Web Application Development
    
11. ostera / tldr.jsx

    1170

    📚 A Reactive web client for tldr-pages
    
12. ocaml / merlin

    1163

    Context sensitive completion for OCaml in Vim and Emacs
    
13. mirage / irmin

    1133

    Irmin is a distributed database that follows the same design principles as Git
    
14. BinaryAnalysisPlatform / bap

    1129

    Binary Analysis Platform
    
15. airbus-seclab / bincat

    939

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

    893

    Connect processes into powerful data pipelines with a simple git-like filesystem interface
    
17. ocaml / dune

    853

    A composable build system for OCaml.
    
18. andrejbauer / plzoo

    838

    Programming Languages Zoo
    
19. owlbarn / owl

    819

    Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
    
20. ocaml / opam

    805

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

    784

    Jane Street Capital's standard library overlay
    
22. gfngfn / SATySFi

    695

    A statically-typed, functional typesetting system
    
23. moby / vpnkit

    695

    A toolkit for embedding VPN capabilities in your application
    
24. reasonml-old / reason-react

    645

    
    

New Repos

/search/repositories?q=language:OCaml+created:2020-01-28&sort=stars&order=desc&per_page=12

• talex5 / opam-0install-solver

  6

  a solver for opam packages using 0install's solver engine
• XinqiaoLiu / Program-Language-Compilers

  0
• ArthurMatthys / Turing

  0
• BC-CSCI3366 / Week03

  0

  Lecture Notes for Week 3
• nobrowser / flodot

  0

  Convert directed graphs from JSON to dot notation
• Seoane8 / Paradigmas_Progamacion-Practicals

  0
• nobrowser / aaa

  0

  Tiny (triple-A for USians) Ocaml batteries
• NguyenDinhThanhDanh / Hashiwo_Kakero

  0
• jeromecst / ocamltest

  0

  First Ocaml algorithms
• benozol / spark2014-why3

  0