Tags : Browse Projects

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

Spot

Compare

Claimed by EPITA Research and Developm... Analyzed 1 day ago

Spot is a C++14 library for manipulating omega-automata and LTL/PSL formulas. It offers a set of bricks to experiment with and develop your own model checker, or do other formulas/automata transformations. It comes with a dozen command-line utilities, and Python bindings.

121K lines of code

9 current contributors

about 1 month since last commit

3 users on Open Hub

High Activity
5.0
 
I Use This

Vcsn

Compare

Claimed by EPITA Research and Developm... Analyzed 1 day ago

Vcsn is a platform for weighted automata and rational expressions. It consists of a C++ generic library, a set of bindings for Python, and a graphical interactive environment on top of IPython.

68.6K lines of code

2 current contributors

5 months since last commit

3 users on Open Hub

Moderate Activity
5.0
 
I Use This

theCore Embedded Framework

Compare

  Analyzed 9 days ago

theCore is C++ embedded framework for microcontrollers. It is the open source, highly configurable and straightforward. With a help of theCore you can reduce your efforts of creating low-level, bare metal and embedded applications for 32-bit (and less) microcontrollers. Such as ARM Cortex M4, M3, M0 from different vendors.

25.7K lines of code

6 current contributors

3 months since last commit

1 users on Open Hub

Moderate Activity
5.0
 
I Use This

Palette Swap

Compare

  Analyzed 23 days ago

Palette Swap is raster drawing software. Main goal of development is to do all rendering and painting jobs using only GPGPU.

25.8K lines of code

0 current contributors

about 3 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This

Bridgette

Compare

  Analyzed 1 day ago

A set of the helper libraries for integrating different libraries and frameworks in one another. For example, H3D and Qt, Chai3D and Qt, Ogre3D and Qt, Ogre3D and Chai3D, etc.

3.15K lines of code

1 current contributors

2 months since last commit

1 users on Open Hub

New Project
0.0
 
I Use This

lmdb++

Compare

  Analyzed 1 day ago

This is a comprehensive C++ wrapper for the LMDB embedded database library, offering both an error-checked procedural interface and an object-oriented resource interface with RAII semantics. • Designed to be entirely self-contained as a single header file that can be dropped into a project. • ... [More] Implements a straightforward mapping from C to C++, with consistent naming. • Simplifies error handling by translating error codes into C++ exceptions. • Carefully differentiates logic errors, runtime errors, and fatal errors. • Exception strings include the name of the LMDB function that failed. • Plays nice with others: all symbols are placed into the lmdb namespace. • 100% free and unencumbered public domain software. [Less]

1.13K lines of code

0 current contributors

over 2 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This
Licenses: Public Do..., Unlicense

exma2D

Compare

  Analyzed 1 day ago

A tiny C++14 template library for vector and transform matrix manipulations

495 lines of code

0 current contributors

over 2 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

Melanobot

Compare

  Analyzed 1 day ago

A not so simple IRC bot.

0 lines of code

1 current contributors

4 months since last commit

0 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: AGPL 3.0+

blackhole-logger

Compare

  Analyzed 1 day ago

Yet another logging library.

16.9K lines of code

2 current contributors

5 months since last commit

0 users on Open Hub

Very Low Activity
5.0
 
I Use This

C++ Guideline Support Library

Compare

  Analyzed 1 day ago

Guidelines Support Library

8.86K lines of code

27 current contributors

about 1 month since last commit

0 users on Open Hub

Moderate Activity
5.0
 
I Use This
Licenses: No declared licenses
Tags c++ c++14