Awesome Open Source
Awesome Open Source
Combined Topics
opam x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 45 Opam Open Source Projects on Github

Mirage ⭐ 1,636
MirageOS is a library operating system that constructs unikernels
Dune ⭐ 1,134
A composable build system for OCaml.
Opam ⭐ 945
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Satysfi ⭐ 857
A statically-typed, functional typesetting system
Opam Repository ⭐ 379
Main public package repository for opam, the source package manager of OCaml.
Geneweb ⭐ 192
GeneWeb is an open source genealogy software with a web interface created by Daniel de Rauglaudre.
Plotkicadsch ⭐ 162
This project aims at being able to export Kicad Sch files to structured picture files
Opam Cross Android ⭐ 97
An OCaml cross-toolchain for Android and several useful libraries
Dune Release ⭐ 94
Streamlining the release of dune packages to opam
Opam Cross Windows ⭐ 91
An OCaml cross-toolchain for Windows and several useful libraries
Opam Coq Archive ⭐ 70
Archive for all Coq related OPAM packages organized in various repositories
Opam Cross Ios ⭐ 53
An OCaml cross-toolchain for iOS and several useful libraries
Mkocaml ⭐ 53
🔨 Tool to generate OCaml projects
Conex ⭐ 32
establish trust in community repositories, cryptographically signed by library authors
Chalk ⭐ 26
🖍🎨Composable and simple terminal highlighting package for OCaml.
Obi ⭐ 25
OCaml Build Infrastructure
Docker Coq ⭐ 25
Docker images of the Coq proof assistant [[email protected]]
Ocaml Docker ⭐ 24
Binding to the Docker Remote API
Satyrographos ⭐ 23
Package manager for SATySFi
Ocamlbyexample ⭐ 14
Learn Ocaml by reading code examples
Xs Opam ⭐ 14
Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components
Docker Ocaml ⭐ 12
Minimum docker images for OCaml+OPAM
Opam Lock ⭐ 9
Dump/restore opam dependencies using a lock file
Docker Coq Action ⭐ 8
GitHub Action using Docker-Coq [[email protected],@Zimmi48]
Ocaml Layer ⭐ 7
Make your own OCaml base image for fast CI jobs
Opam Rt ⭐ 7
Regression Testing framework for opam
Orb ⭐ 7
check opam package reproductibility
Hoogle_for_ocaml ⭐ 6
Same as https://www.haskell.org/hoogle/ but for OCaml programmers
Jbuild Pp ⭐ 4
Pretty printer for jbuilder's jbuild files
Docker Mathcomp ⭐ 4
Docker images of mathcomp
Tapfa Init Win64.el ⭐ 4
Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)
Openqasm Parser ⭐ 3
OCaml library for manipulating OpenQASM Abstract Syntax Tree
Ocalc ⭐ 3
Graphing calculator implemented in OCaml
Satysfi External Repo ⭐ 3
Custom OPAM repository for external libraries of SATySFi
Agave ⭐ 3
🍯 Sweet little static site generator CLI
Nfsopam ⭐ 2
wrapper shell script to run opam faster when your $HOME is served via NFS
Opam Cygwin ⭐ 2
Opam Dot ⭐ 2
A simple command to show the graph of dependencies of a package.
Ocaml Youtube Dl ⭐ 1
An OCaml wrapper for the youtube-dl command line tool
Satysfi Fonts Theano ⭐ 1
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
Ocamlbyexample ⭐ 1
Learn Ocaml by reading code examples
Opamconfig ⭐ 1
Detect and store parameters for opam installations
Tapfa Init.el ⭐ 1
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA)
Fromager ⭐ 1
Format your damn OCaml code!
Ocalc ⭐ 1
A RPN calculator as an example of OPAM package in OCaml
1-45 of 45 projects

Related Projects

Ocaml Opam Projects (40)
Shell Opam Projects (9)
Shell Ocaml Opam Projects (7)
Coq Opam Projects (6)
Ocaml Opam Dune Projects (5)
Opam Dune Projects (5)
Docker Ocaml Opam Projects (4)
Docker Opam Projects (4)
Satysfi Opam Projects (4)
Ocaml Git Opam Projects (3)
Git Opam Projects (3)
Ocaml Satysfi Opam Projects (3)
Ocaml Cross Compiler Opam Projects (3)
Cross Compiler Opam Projects (3)
Ocaml Coq Opam Projects (3)
Dockerfile Opam Projects (3)
Ocaml Library Opam Projects (2)
Ocaml Opam Repository Projects (2)
Linux Ocaml Opam Projects (2)
Linux Opam Projects (2)
Ocaml Build Opam Projects (2)
Build Opam Projects (2)
Ocaml Package Manager Opam Projects (2)
Package Manager Opam Projects (2)
Ocaml Functional Programming Opam Projects (2)
Hacktoberfest Ocaml Opam Projects (2)
Hacktoberfest Opam Projects (2)
Shell Ocaml Cross Compiler Opam Projects (2)
Shell Cross Compiler Opam Projects (2)
Dockerfile Docker Image Ci Coq Opam Projects (2)
Dockerfile Docker Image Ci Opam Projects (2)
Dockerfile Docker Image Coq Opam Projects (2)
Dockerfile Docker Image Opam Projects (2)
Dockerfile Ci Coq Opam Projects (2)
Dockerfile Ci Opam Projects (2)
Dockerfile Coq Opam Projects (2)
Docker Image Ci Coq Opam Projects (2)
Docker Image Ci Opam Projects (2)
Emacs Lisp Ocaml Coq Opam Projects (2)
Ocaml Calculator Opam Projects (2)
Calculator Opam Projects (2)
Ocaml Graph Opam Projects (2)
Graph Opam Projects (2)
Configuration Portability Opam Projects (2)
Configuration Opam Projects (2)
Portability Opam Projects (2)
Emacs Lisp Ocaml Wsl Opam Projects (2)
Example Opam Dune Examples Ocaml Projects (2)
Example Opam Utop Examples Ocaml Projects (2)
Example Opam Examples Ocaml Projects (2)
Opam Dune Utop Examples Ocaml Projects (2)
Opam Dune Examples Ocaml Projects (2)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021