Toggle navigation
Search
Packages
Repositories
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
Best practices for software development teams seeking to optimize their use of open source components.
Free e-book
Search
Packages
Repositories
5 packages
Sort:
Relevance
Relevance
SourceRank
Stars
Dependents
Most Used
Latest Release
Contributors
Newest
utop
Universal toplevel for OCaml
Latest release 2.4.3 - Published
about 2 months ago
- 559 stars
merlin
Mode for Merlin, an assistant for OCaml.
Latest release v2.5.5 - Published
Jun 14, 2017
- 992 stars
dune
Integration with the dune build system
Latest release 1.8.0 - Published
Mar 7, 2019
- 857 stars
redtt
Major mode for editing redtt proofs
Latest release - Published
about 16 hours ago
- 72 stars
line-up-words
Align words in an intelligent way
Latest release - Published
about 16 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
Best practices for software development teams seeking to optimize their use of open source components.