v2.ocaml.org
Implementation of the ocaml.org website. (by ocaml)
next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue. (by alhassy)
v2.ocaml.org | next-700-module-systems | |
---|---|---|
1 | 1 | |
323 | 79 | |
0.3% | - | |
3.7 | 0.0 | |
4 months ago | over 2 years ago | |
HTML | HTML | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
v2.ocaml.org
Posts with mentions or reviews of v2.ocaml.org.
We have used some of these posts to build our list of alternatives
and similar projects.
-
OCaml removed GitHub issue history so issue references are broken
I run a quick investigation with your GitHub account and have found your ticket https://github.com/ocaml/v2.ocaml.org/issues/821
I hope you have noticed the `v2.ocaml.org` !
next-700-module-systems
Posts with mentions or reviews of next-700-module-systems.
We have used some of these posts to build our list of alternatives
and similar projects.
What are some alternatives?
When comparing v2.ocaml.org and next-700-module-systems you can also consider the following projects:
milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
agda-stdlib - The Agda standard library
klipse - Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
coq-100-theorems - Statements of famous theorems proven in Coq [maintainer=@jmadiot]
hissp - It's Python with a Lissp.
org-special-block-extras - A number of new custom blocks and link types for Emacs' Org-mode ^_^
awesomo - Cool open source projects. Choose your project and get involved in Open Source development now.