Skip to content

Trending

See what the GitHub community is most excited about today.

  1. Native, lightweight modal code editor

    OCaml 897 21 Built by @bryphe @Akin909 @CrossR @romgrk @benox3 16 stars today
  2. ⚡️ Native, high-performance, cross-platform desktop apps - built with Reason!

    OCaml 3,969 99 Built by @bryphe @Akin909 @jchavarri @OhadRau @samatar26 12 stars today
  3. A static analyzer for Java, C, C++, and Objective-C

    OCaml 9,547 1,290 Built by @jvillard @sblackshear @jeremydubreil @jberdine @mbouaziz 7 stars today
  4. 🚀 Fast and simple Node.js version manager, built in native ReasonML

    OCaml 1,060 31 Built by @Schniz @elliottsj @AdamGS @Dean177 @johnletey 5 stars today
  5. Implementation of the λΠ-calculus modulo rewriting

    OCaml 76 7 Built by @rsaillard @GuillaumeGen @francoisthire @rlepigre @Gaspi 5 stars today
  6. A high performance, memory efficient, and scalable web server written in OCaml

    OCaml 272 20 Built by @seliopou @dpatti @anmonteiro @aantron @thedufer
  7. Research prototype tool for modular formal verification of C and Java programs

    OCaml 119 29 Built by @btj @willempx @gijsvanspauwen @muehlber @amintimany
  8. Website infrastructure and content for mirage.io

    OCaml 128 82 Built by @avsm @amirmc @mor1 @samoht @yomimono
  9. Adds static typing to JavaScript to improve developer productivity and code quality.

    OCaml 19,099 1,623 Built by @mroch @gabelevi @samwgoldman @avikchaudhuri @nmote
  10. Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

    OCaml 7,416 359 Built by @chenglou @jordwalke @yunxing @IwanKaramazow @let-def
  11. A backend for the OCaml compiler which emits JavaScript.

    OCaml 4,197 293 Built by @bobzhang @evmar @nico @chenglou @glennsl
  12. A language that compiles to Bash and Windows Batch

    OCaml 3,758 174 Built by @BYVoid @mirez @kvu787 @Therzok @Nixola
  13. FUSE filesystem over Google Drive

    OCaml 2,730 178 Built by @astrada @rgrinberg @nilbot @idvoretskyi @iblech
  14. Tools for code analysis, visualizations, or style-preserving source transformation.

    OCaml 2,353 208 Built by @aryx @phooji @pikatchu @jl3931 @avikchaudhuri
  15. Performant type-checking for python.

    OCaml 2,320 94 Built by @sinancepel @dkgi @shannonzhu @dark @rvantonder
  16. The core OCaml system: compilers, runtime system, base libraries

    OCaml 2,235 531 Built by @xavierleroy @damiendoligez @alainfrisch @gasche @pierreweis
  17. Reason bindings for ReactJS

    OCaml 2,214 226 Built by @chenglou @rickyvetter @SanderSpies @cristianoc @cullophid
  18. Pack JS code fast & easy

    OCaml 1,894 38 Built by @zindel @andreypopp @TrySound @samouri @bryphe
  19. 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.

    OCaml 1,871 317 Built by @herbelin @ppedrot @maximedenes @letouzey @mattam82
  20. MirageOS is a library operating system that constructs unikernels

    OCaml 1,267 163 Built by @avsm @samoht @yomimono @hannesm @Drup
  21. Implementations of various type systems in OCaml.

    OCaml 1,205 54 Built by @tomprimozic @hamaxx
  22. Compiler for Grain, the functional programming language. A modern web staple. 🌾

    OCaml 1,193 21 Built by @ospencer @belph @nickbreaton
  23. The Opa Language for Web Application Development

    OCaml 1,191 137 Built by @BourgerieQuentin @Aqua-Ye @nrs135 @arthuraa @OpaOnWindowsNow
  24. Context sensitive completion for OCaml in Vim and Emacs

    OCaml 1,024 132 Built by @let-def @trefis @asmanur @art-w @rgrinberg
  25. Unison file synchronizer

    OCaml 986 89 Built by @bcpierce00 @g-raud @vouillon @brabalan @beniamino38
Other: OCaml
Other Languages
1C Enterprise ABAP ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script Alloy Alpine Abuild AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASN.1 ASP AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Awk Ballerina Batchfile Befunge Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Brainfuck Brightscript Bro C C# C++ C-ObjDump C2hs Haskell Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK Cirru Clarion Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL CoffeeScript ColdFusion ColdFusion CFC COLLADA Common Lisp Common Workflow Language Component Pascal CoNLL-U Cool Coq Cpp-ObjDump Creole Crystal CSON Csound Csound Document Csound Score CSS CSV Cuda CWeb Cycript Cython D D-ObjDump Darcs Patch Dart DataWeave desktop Diff DIGITAL Command Language DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom FIGlet Font Filebench WML Filterscript fish FLUX Formatted Forth Fortran FreeMarker Frege G-code Game Maker Language GAMS GAP GCC Machine Description GDB GDScript Genie Genshi Gentoo Ebuild Gentoo Eclass Gerber Image Gettext Catalog Gherkin GLSL Glyph Glyph Bitmap Distribution Format GN Gnuplot Go Golo Gosu Grace Gradle Grammatical Framework Graph Modeling Language GraphQL Graphviz (DOT) Groovy Groovy Server Pages Hack Haml Handlebars HAProxy Harbour Haskell Haxe HCL HiveQL HLSL HTML HTML+Django HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris IGOR Pro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Java Properties Java Server Pages JavaScript JFlex Jison Jison Lex Jolie JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet JSX Julia Jupyter Notebook KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL LabVIEW Lasso Latte Lean Less Lex LFE LilyPond Limbo Linker Script Linux Kernel Module Liquid Literate Agda Literate CoffeeScript Literate Haskell LiveScript LLVM Logos Logtalk LOLCODE LookML LoomScript LSL Lua M M4 M4Sugar Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction MediaWiki Mercury Meson Metal MiniD Mirah Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript MQL4 MQL5 MTML MUF mupad Myghty NCL Nearley Nemerle nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NSIS Nu NumPy ObjDump Objective-C Objective-C++ Objective-J OCaml Omgrofl ooc Opa Opal OpenCL OpenEdge ABL OpenRC runscript OpenSCAD OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn Pep8 Perl Perl 6 PHP Pic Pickle PicoLisp PigLatin Pike PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Processing Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python Python console Python traceback q QMake QML Quake R Racket Ragel RAML Rascal Raw token data RDoc REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript reStructuredText REXX RHTML Rich Text Format Ring RMarkdown RobotFramework Roff Rouge RPC RPM Spec Ruby RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Slash Slice Slim Smali Smalltalk Smarty SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template Stan Standard ML Stata STON Stylus SubRip Text SugarSS SuperCollider SVG Swift SystemVerilog Tcl Tcsh Tea Terra TeX Text Textile Thrift TI Program TLA TOML Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb Vala VCL Verilog VHDL Vim script Visual Basic Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL Windows Registry Entries wisp World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML Xojo XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet Zephir Zig Zimpl
ProTip! Looking for recently updated OCaml repositories? Try this search
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.