Awesome Open Source

Programming Languages

Search results for ocaml

3,897 search results found

Flow ⭐ 22,033

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

Infer ⭐ 14,568

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

Milewski Ctfp Pdf ⭐ 10,547

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Reason ⭐ 10,060

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

Awesomo ⭐ 9,084

Cool open source projects. Choose your project and get involved in Open Source development now.

Revery ⭐ 8,064

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

Native, lightweight modal code editor

Pyre Check ⭐ 6,606

Performant type-checking for python.

Google Drive Ocamlfuse ⭐ 5,197

FUSE filesystem over Google Drive

Ocaml ⭐ 5,022

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

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.

Magic Trace ⭐ 4,340

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

Unison ⭐ 3,413

Unison file synchronizer

Extism ⭐ 3,288

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Grain ⭐ 3,107

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Klipse ⭐ 2,975

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

Awesome Ocaml ⭐ 2,690

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Functional Programming ⭐ 2,568

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Fstar ⭐ 2,522

A Proof-oriented Programming Language

Mirage ⭐ 2,377

MirageOS is a library operating system that constructs unikernels

Fastpack ⭐ 2,266

Pack JS code fast & easy

Ixy Languages ⭐ 2,077

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

Comby ⭐ 1,996

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

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

Binary Analysis Platform

Catala ⭐ 1,872

Programming language for literate programming law specification

Cpbook Code ⭐ 1,859

CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

Irmin ⭐ 1,746

Irmin is a distributed database that follows the same design principles as Git

Nvim Treesitter Textobjects ⭐ 1,688

A composable build system for OCaml.

Merlin ⭐ 1,545

Context sensitive completion for OCaml in Vim and Emacs

Tezos ⭐ 1,496

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

Nodebook ⭐ 1,490

Nodebook - Multi-Lang Web REPL + CLI Code runner

Bincat ⭐ 1,464

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

Dream ⭐ 1,446

Tidy, feature-complete Web framework

Awesome Reasonml ⭐ 1,437

A collection of awesome things regarding Reason/OCaml ecosystem.

Type Systems ⭐ 1,300

Implementations of various type systems in OCaml.

Liquidsoap ⭐ 1,289

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.

Opalang ⭐ 1,210

The Opa Language for Web Application Development

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

Satysfi ⭐ 1,125

A statically-typed, functional typesetting system

V2 of Real World OCaml

Jane Street Capital's standard library overlay

Caramel ⭐ 959

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

Austral ⭐ 946

Systems language with linear types and capability-based security.

Js_of_ocaml ⭐ 917

Compiler from OCaml to Javascript.

Best Practices Checklist ⭐ 909

A list of awesome idiomatic code resources. Rust🦀, Go, Ruby💎, Pony 🐴, Ocaml 🐫, Erlang and more

Incremental ⭐ 801

A library for incremental computations

A functional programming language based on algebraic effect handlers

The Felix Programming Language

Ocaml Multicore ⭐ 763

Multicore OCaml

Standard library for OCaml

Melange ⭐ 709

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

Sinatra like web toolkit for OCaml

Ocaml Lsp ⭐ 681

OCaml Language Server Protocol implementation

Ocaml Cohttp ⭐ 663

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

OCaml promises and concurrent I/O

Reason Language Server ⭐ 647

A language server for reason, in reason

Hazel, a live functional programming environment with typed holes

Rhine Ml ⭐ 621

🏞 an OCaml compiler for an untyped lisp

Ocaml Graphql Server ⭐ 615

GraphQL servers in OCaml

Bucklescript Tea ⭐ 593

TEA for Bucklescript

Angstrom ⭐ 583

Parser combinators built for speed and memory efficiency

Ocamlformat ⭐ 582

Auto-formatter for OCaml code

Query Json ⭐ 577

Faster, simpler and more portable implementation of `jq` in Reason

Coccinelle ⭐ 574

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Hardcaml ⭐ 571

Hardcaml is an OCaml library for designing hardware.

42_subjects ⭐ 539

All Subjects of 42 School

A high performance, memory efficient, and scalable web server written in OCaml

Tis Interpreter ⭐ 513

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

Mariocaml ⭐ 512

HTML 5 canvas implementation of Mario written in Ocaml

Tablecloth ⭐ 503

A standard library with the same API in F#, Rescript and OCaml

Bolt is a language with in-built data-race freedom!

Batteries Included ⭐ 493

Batteries Included project

Gravitron ⭐ 490

Effects-based direct-style IO for multicore OCaml

Opam Repository ⭐ 485

Main public package repository for opam, the source package manager of OCaml.

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

Ocaml Containers ⭐ 468

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

✨Cross-platform set of tools for building native UIs with Reason/OCaml

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

OCaml DSL for verifiable computation

Simple high-level language for writing Internet Computer canisters

Reason Design Patterns ⭐ 453

🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml

High performance Chinese tokenizer with both GBK and UTF-8 charset support based on MMSEG algorithm developed by ANSI C. Completely based on modular implementation and can be easily embedded in other programs, like: MySQL, PostgreSQL, PHP, etc.

Min Caml ⭐ 447

moved from https://sourceforge.net/p/min-caml/code/

0install ⭐ 433

the core 0install package

Camlboy ⭐ 420

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

Sketch Sh ⭐ 419

Sketch.sh - Online Code Editor and ReasonML community

🔎🐞 A language-agnostic linting platform

Effects Examples ⭐ 392

Examples to illustrate the use of algebraic effects in Multicore OCaml

Alcotest ⭐ 383

A lightweight and colourful test framework

Styled Ppx ⭐ 380

Type-safe styled components for ReScript and Melange with type-safe CSS

Karamel ⭐ 377

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Ocaml Torch ⭐ 376

OCaml bindings for PyTorch

Lambdasoup ⭐ 376

Functional HTML scraping and rewriting with CSS in OCaml

The Vellvm (Verified LLVM) coq development.

Ocaml4noobs ⭐ 369

Tutorial de OCaml para iniciantes na Linguagem.

Reason Tools ⭐ 368

Adds Reason to the browser

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-100 of 3,897 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.