Skip to content
View peterwang's full-sized avatar

Block or report peterwang

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
39 stars written in OCaml
Clear filter

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

OCaml 22,120 1,863 Updated Dec 24, 2024

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

OCaml 15,039 2,023 Updated Dec 24, 2024

FUSE filesystem over Google Drive

OCaml 5,619 355 Updated Dec 7, 2024

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

OCaml 5,560 1,110 Updated Dec 20, 2024

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 develo…

OCaml 4,894 658 Updated Dec 27, 2024

A language that compiles to Bash and Windows Batch

OCaml 4,321 169 Updated Apr 30, 2023

Unison file synchronizer

OCaml 4,267 238 Updated Dec 24, 2024

MirageOS is a library operating system that constructs unikernels

OCaml 2,588 252 Updated Dec 9, 2024

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

OCaml 2,442 205 Updated Mar 27, 2019

Implementations of various type systems in OCaml.

OCaml 1,552 72 Updated Aug 31, 2015

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

OCaml 1,265 368 Updated Dec 18, 2024

The Opa Language for Web Application Development

OCaml 1,248 126 Updated Sep 30, 2020

V2 of Real World OCaml

OCaml 1,196 176 Updated Jul 8, 2024

Jane Street Capital's standard library overlay

OCaml 1,128 111 Updated Nov 21, 2024

Compiler from OCaml to Javascript.

OCaml 971 188 Updated Dec 30, 2024

A library for incremental computations

OCaml 888 61 Updated Nov 21, 2024

Universal toplevel for OCaml

OCaml 852 114 Updated Nov 25, 2024

Multicore OCaml

OCaml 762 68 Updated Dec 9, 2022

OCaml promises and concurrent I/O

OCaml 727 176 Updated Dec 18, 2024

🏞 an OCaml compiler for an untyped lisp

OCaml 632 25 Updated Mar 31, 2015

HTML 5 canvas implementation of Mario written in Ocaml

OCaml 542 110 Updated Aug 11, 2021

the core 0install package

OCaml 512 50 Updated Nov 3, 2024

All the examples in Real World OCaml

OCaml 376 81 Updated Aug 28, 2023

Library for binding to C libraries using pure OCaml

OCaml 374 96 Updated Aug 13, 2024

Multi-tier framework for programming web and mobile applications in OCaml.

OCaml 306 54 Updated Dec 13, 2024

Writing Emacs plugin in OCaml

OCaml 254 12 Updated Nov 21, 2024

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

OCaml 223 19 Updated Nov 21, 2024

Jane Street's standard library overlay (kernel)

OCaml 217 63 Updated Nov 21, 2024

Sorry about the name

OCaml 217 8 Updated Jan 3, 2019

Jane Street Capital's asynchronous execution library

OCaml 211 19 Updated Nov 21, 2024
Next
39 stars written in OCaml