Select a tag to browse associated projects and drill deeper into the tag cloud.
Rust (programming language)
Claimed by Mozilla Foundation Analyzed 7 months ago
Rust is a systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races.
It provides both high-level features and low-level control: algebraic data types, pattern matching, closures, type inference, zero-cost abstractions, guaranteed memory safety
Licenses:
apache_2, mit
Rascal MPL
No analysis available
Rascal is a domain specific language for source code analysis and manipulation a.k.a. meta-programming. It is currently being developed and tested at CWI. No formal release has been made yet, but there are alpha quality previews available.
Mostly written in language not available
Licenses:
eclipse
Thrust: Parallel Template Library
No analysis available
Thrust is a CUDA library of parallel algorithms with an interface resembling the C++ Standard Template Library (STL). Thrust provides a flexible high-level interface for GPU programming that greatly enhances developer productivity. Develop high-performance applications rapidly with Thrust!
Mostly written in language not available
Licenses:
apache_2
icarus-lang
Analyzed about 9 hours ago
Programming language designed as an experiment to explore static verification of mutation contracts.
A hybrid imperative/functional language designed to explore the boundary between these 2 paradigms - trying to port some of the lessons and advantages from functional programming back to a more
Olena
Claimed by EPITA Research and Developm... No analysis available
Olena is a platform dedicated to image processing and pattern recognition. Its core component is a generic and efficient C++ library, Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use
Mostly written in language not available
Licenses:
gpl
Nana C++ Library
Analyzed about 19 hours ago
Nana C++ Library takes aim at easy-to-use and portable library, it provides a GUI framework and threads for easy programming with modern C++ methods.
Software framework for cross-platform GUI programming in standard and modern C++11, threads, with Object Oriented and Generic programing.
It means
haskell-lens
Analyzed about 8 hours ago
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
Licenses:
BSD-3-Clause
Generic Memory Manager for C++
Analyzed about 17 hours ago
Generic Memory Manager is the fastest generic cross-platform C++ memory management library. It is easy in use and easy extensible. It has clear design and implementation.
Memory management algorithm bases on memory chunks mapping technology. Generic Memory Manager uses compile time information
Generic STL
G
Analyzed about 8 hours ago
A generic implementation of STL containers and some STL algorithms. It is absolutly independent from external types it use only types declared in type_traits. So containers can be used with any poiner types which satisfies PointerConcept.
Herschel
Analyzed about 17 hours ago
Heather is an general-purpose multiparadigm programming language. It is strongly typed, offering type inference and parametric polymorphism ("generics"). It is consequently object oriented (everything is a object, even functions), while its consequent multiple dispatch approach keeps a strong
Licenses:
BSD-3-Clause