Toggle navigation
Search
Packages
Repositories
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
Live webinar: Everything you never wanted to know about open source licenses and were too bored to ask.
Register now.
Search
Packages
Repositories
6 packages
Sort:
Relevance
Relevance
SourceRank
Stars
Dependents
Most Used
Latest Release
Contributors
Newest
dune
Integration with the dune build system
Latest release 2.6.0 - Published
Jun 6, 2020
- 985 stars
merlin
Mode for Merlin, an assistant for OCaml.
Latest release v2.5.5 - Published
Jun 14, 2017
- 993 stars
utop
Universal toplevel for OCaml
Latest release 2.4.3 - Published
Dec 31, 2019
- 559 stars
redtt
Major mode for editing redtt proofs
Latest release - Published
2 days ago
- 72 stars
lambdapi-mode
A major mode for editing Lambdapi source code
Latest release - Published
2 days ago
- 92 stars
line-up-words
Align words in an intelligent way
Latest release - Published
2 days ago
- 8 stars
License
Apache-2.0
2 projects
MIT
2 projects
Other
2 projects
Language
OCaml
Keyword
languages
4 projects
ocaml
3 projects
proof-assistant
2 projects
atom
1 projects
build
1 projects
cubical-type-theory
1 projects
dependent-types
1 projects
dune
1 projects
emacs
1 projects
jbuilder
1 projects
logical-framework
1 projects
opam
1 projects
proof-checker
1 projects
rewriting
1 projects
type-theory
1 projects
vim
1 projects
Platform
Emacs
Subscribe to an RSS feed of this search
Live webinar: Everything you never wanted to know about open source licenses and were too bored to ask.