Next-700-module-systems Alternatives

Similar projects and alternatives to next-700-module-systems based on common topics and language

agda-stdlib

4 556 9.3 Agda next-700-module-systems VS agda-stdlib

The Agda standard library
coq-100-theorems

1 54 3.8 HTML next-700-module-systems VS coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
hissp

29 331 9.1 Python next-700-module-systems VS hissp

It's Python with a Lissp.
org-special-block-extras

10 183 6.4 HTML next-700-module-systems VS org-special-block-extras

A number of new custom blocks and link types for Emacs' Org-mode ^_^
awesomo

5 9,227 3.6 Go next-700-module-systems VS awesomo

Cool open source projects. Choose your project and get involved in Open Source development now.
v2.ocaml.org

1 323 3.7 HTML next-700-module-systems VS v2.ocaml.org

Implementation of the ocaml.org website.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better next-700-module-systems alternative or higher similarity.

Suggest an alternative to next-700-module-systems

next-700-module-systems reviews and mentions

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.

The Next 700 Module Systems [pdf]
1 project | news.ycombinator.com | 23 May 2021

Stats

Basic next-700-module-systems repo stats

Mentions

Stars

Activity

0.0

Last Commit

over 2 years ago

alhassy/next-700-module-systems is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of next-700-module-systems is HTML.

Popular Comparisons