Toggle navigation
Search
Packages
Repositories
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
Free e-book: Learn to choose the best open source packages.
Download now
Search
Packages
Repositories
5 packages
Sort:
Relevance
Relevance
SourceRank
Stars
Dependents
Most Used
Latest Release
Contributors
Newest
merlin
Mode for Merlin, an assistant for OCaml.
Latest release v2.5.5 - Published
Jun 14, 2017
- 990 stars
dune
Integration with the dune build system
Latest release 1.8.0 - Published
Mar 7, 2019
- 626 stars
utop
Universal toplevel for OCaml
Latest release 2.1.0 - Published
Feb 28, 2018
- 398 stars
redtt
Major mode for editing redtt proofs
Latest release - Published
1 day ago
- 72 stars
line-up-words
Align words in an intelligent way
Latest release - Published
1 day ago
- 8 stars
License
Apache-2.0
2 projects
MIT
2 projects
Other
1 projects
Language
OCaml
Keyword
languages
3 projects
ocaml
3 projects
atom
1 projects
build
1 projects
cubical-type-theory
1 projects
dune
1 projects
emacs
1 projects
jbuilder
1 projects
opam
1 projects
proof-assistant
1 projects
type-theory
1 projects
vim
1 projects
Platform
Emacs
Subscribe to an RSS feed of this search
Free e-book: Learn to choose the best open source packages.