Toggle navigation
Search
Packages
Repositories
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
Develop faster and manage open source risks with the Tidelift Subscription.
Learn more
Search
Packages
Repositories
5 packages
Sort:
Relevance
Relevance
SourceRank
Stars
Dependents
Most Used
Latest Release
Contributors
Newest
dune
Integration with the dune build system
Latest release 1.8.0 - Published
about 2 months ago
- 626 stars
merlin
Mode for Merlin, an assistant for OCaml.
Latest release v2.5.5 - Published
Jun 14, 2017
- 990 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
about 4 hours ago
- 72 stars
line-up-words
Align words in an intelligent way
Latest release - Published
about 4 hours 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
Develop faster and manage open source risks with the Tidelift Subscription.