Awesome Open Source
Awesome Open Source
Combined Topics
opam x

The Top 875 Opam Open Source Projects

Flow ⭐ 21,738
Adds static typing to JavaScript to improve developer productivity and code quality.
dependent packages 545total releases 114most recent commit 7 hours agonpm flow-remove-types} Downloads
Batsh ⭐ 4,094
A language that compiles to Bash and Windows Batch
most recent commit 8 months ago
Mirage ⭐ 1,867
MirageOS is a library operating system that constructs unikernels
most recent commit 16 days ago
Bap ⭐ 1,615
Binary Analysis Platform
most recent commit 7 days ago
Irmin ⭐ 1,595
Irmin is a distributed database that follows the same design principles as Git
total releases 2most recent commit 3 days ago
Merlin ⭐ 1,402
Context sensitive completion for OCaml in Vim and Emacs
most recent commit 3 days ago
Dune ⭐ 1,221
A composable build system for OCaml.
most recent commit a day ago
Opam ⭐ 1,003
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
most recent commit 7 hours ago
Book ⭐ 935
V2 of Real World OCaml
most recent commit 5 days ago
Satysfi ⭐ 923
A statically-typed, functional typesetting system
most recent commit a month ago
Eff ⭐ 724
A functional programming language based on algebraic effect handlers
most recent commit 4 months ago
Utop ⭐ 700
Universal toplevel for OCaml
most recent commit a month ago
Gravitron ⭐ 473
a little game
most recent commit 3 years ago
Ocaml Lsp ⭐ 462
OCaml Language Server Protocol implementation
most recent commit a day ago
Math Comp ⭐ 426
Mathematical Components
most recent commit 15 days ago
Neal ⭐ 404
🔎🐞 A language-agnostic linting platform
most recent commit 2 months ago
Opam Repository ⭐ 397
Main public package repository for opam, the source package manager of OCaml.
most recent commit 7 hours ago
0install ⭐ 337
the core 0install package
most recent commit 2 months ago
Xen Api ⭐ 323
The Xapi Project's XenAPI Server
dependent packages 2total releases 3most recent commit 9 hours agopypi XenAPI} Downloads
Sihl ⭐ 319
A modular functional web framework
most recent commit a month ago
Vellvm ⭐ 289
The Vellvm (Verified LLVM) coq development.
most recent commit 2 months ago
Cil ⭐ 277
C Intermediate Language
most recent commit 9 months ago
Eliom ⭐ 274
Multi-tier framework for programming web and mobile applications in OCaml.
most recent commit 2 months ago
Spin ⭐ 272
OCaml project generator.
total releases 25most recent commit 5 months ago
Tensorflow Ocaml ⭐ 267
OCaml bindings for TensorFlow
most recent commit 3 years ago
Coqgym ⭐ 264
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 3 months ago
Vscode Ocaml Platform ⭐ 259
Visual Studio Code extension for OCaml
most recent commit 14 hours ago
Odoc ⭐ 251
Documentation compiler for OCaml and Reason
most recent commit 2 months ago
Jackline ⭐ 240
minimalistic secure XMPP client in OCaml
most recent commit 3 months ago
Ott ⭐ 235
The Ott tool for writing definitions of programming languages and calculi
most recent commit 25 days ago
Scilla ⭐ 227
Scilla - A Smart Contract Intermediate Level Language
most recent commit 14 days ago
Geneweb ⭐ 214
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
most recent commit 11 days ago
Simplicity ⭐ 210
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
most recent commit 6 days ago
Eth Isabelle ⭐ 209
A Lem formalization of EVM and some Isabelle/HOL proofs
most recent commit 4 years ago
Reasonnativeproject ⭐ 205
Reason native compilation starter project
most recent commit 3 years ago
Ocaml Webmachine ⭐ 203
A REST toolkit for OCaml
most recent commit 2 years ago
Cuekeeper ⭐ 191
Browser-based GTD (TODO list) system. No server needed.
most recent commit a year ago
Mirage Skeleton ⭐ 188
Examples of simple MirageOS apps
most recent commit 19 days ago
Jscert ⭐ 183
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
most recent commit 3 years ago
Ocaml Rs ⭐ 183
OCaml extensions in Rust
dependent packages 2total releases 23most recent commit a month agocargo ocaml-sys} Downloads
Plotkicadsch ⭐ 182
This project aims at being able to export Kicad Sch files to structured picture files
most recent commit 3 months ago
Lambdapi ⭐ 178
Proof assistant based on the λΠ-calculus modulo rewriting
most recent commit 2 days ago
Coq Equations ⭐ 175
A function definition package for Coq
most recent commit 22 days ago
Spartan Type Theory ⭐ 163
Spartan type theory
most recent commit 3 years ago
Easycrypt ⭐ 149
EasyCrypt: Computer-Aided Cryptographic Proofs
most recent commit 9 hours ago
Makam ⭐ 148
The Makam Metalanguage
total releases 74most recent commit a year ago
Nqcc ⭐ 142
A compiler for a tiny (but growing!) subset of C, written in OCaml.
most recent commit 3 years ago
Drom ⭐ 139
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
most recent commit 2 months ago
Redexer ⭐ 138
The Redexer binary instrumentation framework for Dalvik bytecode
most recent commit a year ago
Omd ⭐ 127
extensible Markdown library and tool in "pure OCaml"
most recent commit 13 days ago
Ocamlearlybird ⭐ 126
OCaml debug adapter
most recent commit 7 months ago
Frama C Snapshot ⭐ 125
Release snapshots of the Frama-C platform for source code analysis
most recent commit 2 years ago
Piaf ⭐ 119
Client library for HTTP/1.X / HTTP/2 written entirely in OCaml.
most recent commit 17 days ago
Oasis ⭐ 116
Cabal like system for OCaml
most recent commit 2 years ago
Patoline ⭐ 115
Patoline typesetting system
most recent commit a year ago
Opam Monorepo ⭐ 112
Assemble dune workspaces to build your project and its dependencies as a whole
most recent commit 4 days ago
Ocamlbuild ⭐ 112
The legacy OCamlbuild build manager
most recent commit 3 months ago
Ocaml Csv ⭐ 110
CSV library for OCaml
most recent commit 11 days ago
Dune Starter ⭐ 103
Simple template for midsize OCaml project
most recent commit a year ago
Ocaml Usbmux ⭐ 100
Connect to your iDevices over USB at scale
most recent commit 5 years ago
Ohai ⭐ 99
easy setup from ocaml/reason native projects
most recent commit 5 years ago
Omicrob ⭐ 98
An OCaml generic virtual machine for microcontrollers
most recent commit a month ago
Dune Release ⭐ 98
Streamlining the release of dune packages to opam
most recent commit 4 days ago
Opam Cross Android ⭐ 97
An OCaml cross-toolchain for Android and several useful libraries
most recent commit 4 years ago
Ocaml Cheat Sheets ⭐ 96
OCaml Documentations as one-pagers, easy to keep useful commands in mind
most recent commit 2 years ago
Opam Coq Archive ⭐ 96
Archive for all Coq related OPAM packages organized in various repositories
most recent commit 4 days ago
Kappatools ⭐ 95
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
dependent packages 2total releases 13most recent commit 12 hours agopypi kappy} Downloads
Zipperposition ⭐ 93
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
most recent commit 4 days ago
Lem ⭐ 92
Lem semantic definition language
most recent commit 10 months ago
Opam Cross Windows ⭐ 92
An OCaml cross-toolchain for Windows and several useful libraries
most recent commit 2 months ago
Ocaml Dns ⭐ 88
OCaml implementation of the DNS protocol
most recent commit 14 days ago
An Ocaml Adoption Manifesto ⭐ 88
Getting Widespread OCaml Adoption
most recent commit 4 years ago
Sparrow ⭐ 86
The Sparrow Static Analyzer
most recent commit 4 years ago
Opam2nix ⭐ 84
Generate nix expressions from opam packages
most recent commit 2 months ago
Koika ⭐ 84
A core language for rule-based hardware design 🦑
most recent commit 2 months ago
Toychain ⭐ 82
A minimalistic blockchain consensus implemented and verified in Coq
most recent commit 2 years ago
Mirage Platform ⭐ 81
Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.
most recent commit 2 years ago
Eq ⭐ 81
A command line tool for edn processing and pretty printing
most recent commit 6 years ago
Domainslib ⭐ 80
Parallel Programming over Domains
most recent commit a month ago
Opam Ios ⭐ 80
OCaml cross-compiler for iOS
most recent commit 6 years ago
Ocaml Uri ⭐ 80
RFC3986 URI parsing library for OCaml
most recent commit a year ago
Ocaml Ci ⭐ 80
A CI for OCaml projects
most recent commit 2 days ago
Bap Ida Python ⭐ 76
integration with IDA
most recent commit a year ago
Vim Ocaml ⭐ 76
Vim runtime files for OCaml
most recent commit 3 months ago
Falso ⭐ 74
A proof of false in Coq.
most recent commit 3 years ago
Coop ⭐ 74
A prototype programming language for programming with runners
most recent commit 9 months ago
Ocamltter ⭐ 73
ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interactively.
most recent commit 4 years ago
Analyzer ⭐ 72
Static analysis framework for C
most recent commit 3 days ago
Pluto ⭐ 72
A web server written in Coq.
most recent commit 6 years ago
Ocaml Zmq ⭐ 71
ZeroMQ bindings for OCaml
most recent commit a month ago
Ounit ⭐ 69
most recent commit 3 months ago
Slacko ⭐ 69
A neat interface for Slack
most recent commit 5 months ago
Sandmark ⭐ 68
A benchmark suite for the OCaml compiler
most recent commit 3 days ago
Genprog Code ⭐ 66
GenProg: heuristic, GP-based automatic program repair for C.
most recent commit 9 months ago
Apron ⭐ 66
Apron Numerical Abstract Domain Library
most recent commit 17 days ago
Rdr ⭐ 65
Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
most recent commit 5 years ago
Install Ocaml ⭐ 62
Instructions for setting up an OCaml development environment
most recent commit 2 years ago
Symfuzz ⭐ 61
most recent commit 7 years ago
Mechaml ⭐ 61
OCaml functional web scraping library
most recent commit a year ago
Metalib ⭐ 59
The Penn Locally Nameless Metatheory Library
most recent commit 2 months ago
1-100 of 875 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 71
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 343
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 115
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,046,936)
Python  (794,459)
Java  (384,874)
Php  (284,415)
Typescript  (238,684)
C Plus Plus  (235,780)
Ruby  (221,629)
C  (180,122)
Shell  (169,318)
C Sharp  (161,756)
Golang  (155,771)
Swift  (64,620)
Objective C  (57,176)
R  (57,118)
Rust  (55,877)
Dart  (51,290)
Kotlin  (45,346)
Lua  (33,181)
Matlab  (30,846)
Perl  (30,484)
Language  (30,086)
Scala  (28,586)
Haskell  (20,231)
Clojure  (19,063)
Powershell  (18,780)
Bash  (18,590)
Coffeescript  (17,336)
Elixir  (16,560)
Assembly  (14,509)
Processing  (13,294)
Julia  (12,511)
Basic  (10,769)
Flow  (10,528)
Emacs Lisp  (10,358)
Erlang  (9,057)
Scheme  (8,438)
Groovy  (8,428)
Solidity  (7,558)
Ocaml  (6,661)
Pascal  (6,377)
Hack  (6,362)
Lisp  (6,344)
Fortran  (5,477)
Elm  (5,473)
Common Lisp  (5,285)
Dlang  (4,742)
Shell Script  (4,624)
Python Library  (4,446)
Crystal  (4,373)
Scripting  (4,199)
Top Projects
Freecodecamp ⭐ 346,120
996.icu ⭐ 262,270
Free Programming Books ⭐ 233,178
Coding Interview University ⭐ 219,778
Awesome ⭐ 201,811
Vue ⭐ 195,787
Developer Roadmap ⭐ 194,895
Public Apis ⭐ 192,086
React ⭐ 188,140
System Design Primer ⭐ 180,789
Tensorflow ⭐ 164,994
Bootstrap ⭐ 157,323
You Dont Know Js ⭐ 152,909
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,101
Build Your Own X ⭐ 141,474
Flutter ⭐ 140,720
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,114
Gitignore ⭐ 133,164
Linux ⭐ 131,903
Vscode ⭐ 131,814
Awesome Python ⭐ 127,528
Javascript ⭐ 122,717
Javaguide ⭐ 121,513
Python 100 Days ⭐ 117,585
Computer Science ⭐ 112,893
Youtube Dl ⭐ 110,060
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,777
Electron ⭐ 101,735
D3 ⭐ 100,901
Go ⭐ 99,283
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,065
Axios ⭐ 93,411
Awesome Selfhosted ⭐ 88,698
Kubernetes ⭐ 88,505
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,694
Next.js ⭐ 86,868
Terminal ⭐ 83,156
Deno ⭐ 82,490
Three.js ⭐ 82,052
Angular ⭐ 81,398
Awesome Go ⭐ 80,764
Typescript ⭐ 80,709
Ant Design ⭐ 80,332
Material Ui ⭐ 78,500
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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