Skip to content
View jody-frankowski's full-sized avatar
42 followers · 6 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
Block or Report

Block or report jody-frankowski

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Type: Sources
Language: OCaml
Sort by: Most stars
13 results for source starred repositories written in OCaml
Clear filter

facebook / flow

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,089 1,853 Updated Jul 10, 2024

facebook / infer

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

OCaml 14,802 2,002 Updated Jul 10, 2024

reasonml / reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

OCaml 10,086 425 Updated Jul 8, 2024

semgrep / semgrep

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

OCaml 10,075 582 Updated Jul 10, 2024

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

OCaml 5,468 347 Updated Apr 14, 2024

mirage / mirage

MirageOS is a library operating system that constructs unikernels

OCaml 2,481 242 Updated Jun 26, 2024

comby-tools / comby

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

OCaml 2,335 59 Updated May 8, 2024

inhabitedtype / angstrom

Parser combinators built for speed and memory efficiency

OCaml 625 73 Updated Jan 5, 2024

TrustInSoft / tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

OCaml 565 28 Updated Dec 14, 2016

caradoc-org / caradoc

A PDF parser and validator

OCaml 299 21 Updated Feb 27, 2018

logseq / mldoc

Another Emacs Org-mode and Markdown parser.

OCaml 231 20 Updated Jan 21, 2024

dysinger / restack

Full Stack ReasonML Tutorials

OCaml 229 3 Updated Feb 27, 2021

mirage / qubes-mirage-firewall

A Mirage firewall VM for QubesOS

OCaml 205 28 Updated May 22, 2024