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
Implementation of the ocaml.org website. (by ocaml)
next-700-module-systems | v2.ocaml.org | |
---|---|---|
1 | 1 | |
79 | 323 | |
- | 0.3% | |
0.0 | 3.7 | |
over 2 years ago | 4 months ago | |
HTML | HTML | |
GNU General Public License v3.0 only | GNU General Public License v3.0 or later |
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.
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.
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` !
What are some alternatives?
When comparing next-700-module-systems and v2.ocaml.org you can also consider the following projects:
agda-stdlib - The Agda standard library
milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
coq-100-theorems - Statements of famous theorems proven in Coq [maintainer=@jmadiot]
klipse - Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
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.