Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

learn-haskell-coq-ml-etc

Compare

  Analyzed about 23 hours ago

Where I try code from Haskell (etc) books, articles, etc.

53.6K lines of code

1 current contributors

12 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This
Licenses: No declared licenses

caravel-browser

Compare

  No analysis available

A web browser in ocaml using webkit-gtk as the rendering engine and relying on multi-processing rather than multi-threading to increase stability and security.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl3_or_l...

OCamlTest

Compare

  Analyzed about 20 hours ago

A framework for writing repeatable tests in the OCaml programming language.

302 lines of code

0 current contributors

almost 14 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

omcbp

Compare

  No analysis available

O Ocaml MC MemCached B Binary P Protocol implementation

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: lgpl3

OCaml-Java

Compare

  Analyzed about 12 hours ago

The goal of the OCaml-Java project is to allow seamless integration of Objective Caml and Java.

85.4K lines of code

0 current contributors

almost 8 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

Oug

Compare

  No analysis available

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: lgpl21_or...

yypkg-packages

Compare

  No analysis available

Build scripts and infrastructure for main yypkg packages. Most of the build scripts are based on slackware's.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

CloudI: A Cloud at the lowest level

Compare

  Analyzed about 10 hours ago

CloudI is an open-source private cloud computing framework for efficient, secure, and internal data processing. CloudI provides scaling for previously unscalable source code with efficient fault-tolerant execution of ATS, C/C++, Erlang/Elixir, Go, Haskell, Java, JavaScript/node.js, OCaml, Perl, PHP ... [More] , Python, Ruby, or Rust services. The bare essentials for efficient fault-tolerant processing on a cloud! [Less]

533K lines of code

1 current contributors

4 days since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

Spatial Shell

Compare

  Analyzed about 13 hours ago

Implementing a spatial model inspired by Material Shell and Paper WM, for Sway.

2.66K lines of code

0 current contributors

3 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

Tezos

Compare

  Analyzed about 17 hours ago

Tezos is a proof of stake blockchain with an on-chain governance system, smart contracts

2.56M lines of code

0 current contributors

1 day since last commit

0 users on Open Hub

Very High Activity
0.0
 
I Use This