Search Results for "dav-c"
Sort By:
Showing 102 open source projects for "dav-c"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
XLS
XLS: Accelerated HW Synthesis
XLS is an open-source toolkit for building high-level hardware with a modern compiler stack that spans from a functional DSL to optimized IR and hardware generation. At the front end, DSLX lets you describe algorithms with strong typing and familiar control flow while remaining synthesis-friendly. The compiler lowers DSLX into a rich intermediate representation, applies aggressive optimization and scheduling passes, and can either JIT the design for software simulation or emit Verilog for... -
2
hyde Jekyll
A front-end to Jekyll that parses C++ sources
A front-end to Jekyll that parses C++ sources to produce and enforce out-of-line documentation. hyde is a utility that facilitates documenting C++. The tool is unique from existing documentation utilities. Many tools rely on documentation placed inline within the source as long-form comments. While these seem appealing at first blush, they suffer from two big drawbacks. -
3
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level... -
4
HiPS : Hierarchical Petri net Simulator
HiPS tool features to design and analyze hierarchical Petri nets
HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
Featureless Linux Library
Linux Library on top of Libc focusing on long term support.
When computer power increases, programmers generally add more "features", thus making any performance gains in new hardware negligible. This project is an attempt to develop a library above libc that breaks out of this terrible loop. -
6
engine
RDF Rule Engine for SASSY
A general purpose rule engine for RDF. The rules are stored as RDF. Additional application specific processing can be added and incorporated into the rules. Rules can be edited using a text editor. -
7
TTFviewer
TTFviewer is a small tool for developers to preview ttf font/icon file
TTFviewer is a small tool for developers to view and preview various ttf font/icon image formats. It is based on Qt and supports windows/linux/macos. -
8
Fluid Design
Library for QtQuick apps with Material Design
Fluid is a collection of cross-platform QtQuick components for building fluid and dynamic applications, using the Material Design guidelines. Online documentation is available at docs.liri.io. We develop using the git flow method this means that the develop branch contains code that is being developed and might break from time to time. If you want to check out a stable version just install one of the releases or clone the master branch that has the latest released version. -
9
Louvre
High performance C++ library for building Wayland compositors
Louvre is a high-performance C++ library designed for building Wayland compositors with a strong emphasis on ease of development. It provides a default way for managing protocols, enabling you to have a basic but functional compositor from day one and progressively explore and customize its functionality to precisely match your requirements. Within Louvre, you have the flexibility to either employ your own OpenGL ES 2.0 shaders/programs, use the LPainter class for fundamental 2D rendering, or leverage the LScene and LView system, which manages buffer damage and can also handle input events for you. ... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
Swiss Army Knife C++ Toolkit is a set of versatile tools for C++ development. It offers to a developer variety of everyday needed tools for programming. Among these tools are configuration files reader, Tokeniser, Singleton template and many more.
-
11
TestButton
Button appearance tester
A Test button is free software that helps display the appearance of button status. * It has different options for customizing button appearances * It is used for shows from the button (two to five) statuses as limited ( normal, click, disabled hover, selected) * it has a fully virtual test status of a button * it has a full option of controlling the appearance of the status button * The source code is included in the setup file for (MSVC) and has been tested with a fully working... -
12
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details. -
13
ObjectBuilder2
C++ CASE tool, full life cycle code generator
ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. -
14
Haydar Color Cop is a multi-purpose color picker for web designers and programmers. It features an eyedropper, magnifier, variable magnification levels
-
15
wallaroo
C++ Dependency Injection
Wallaroo is a dependency injection library for C++. With wallaroo you can easily separate the object graph from the class implementation. You can create objects and wiring them using strings, so that you can load the "object graph" from a configuration file. -
16
dep-graphV
An useful tool to analize header dependendencies via graphs
dep-graphV is an useful development tool, written in C++ and powered by Qt and GraphViz, that creates a graph of your codebase, by parsing every #include statement found in the project's root folder. It is helpful when you need to analize and visualize the dependecy tree, highlightining cycles and "useless paths", and It means, in short, that you could drastically reduce build times, especially when working on large-scale projects. -
17
SASSY
Software Architecture Support System
Manage the data for the software architecture or high level design using a knowledge base. Create high quality documentation of the architecture from various viewpoints. Provide a web interface for collaborative architecture creation and reporting. This is an umbrella project for now. Development is occurring in the sub-projects until they can be used to develop the design for SASSY itself. -
18
ProgramNet Designer
C++ cross plattform functional block programming
With the help of the ProgramNet the user can develop plug-ins(called units) which can be connected with other units forming a net. The net has a form of a flow diagram. The resulted net can be executed in the ProgramNet for testing purposes or independently in the target platform as a final release. In order to execute a net the ProgramNet uses the kernel. The kernel executes automatically each unit in a separate thread and manages the data exchange between the units. -
19
xcaliper
combination magnifier/ruler/measuring tool
A tool for measuring windows, widgets, font heights etc. onscreen. -
20
DesignerWt
A layout and widget editor for Wt (C++ web applications)
...There is a preview mode and a zoom mode for detailed editing. In addition to the main design dialogs and popup menus can also be created. A design, when saved, will generate a C++ header class that contains all elements of the design. This class, when created, will produce a widget object that can be attached to the browser window or any other Wt container widget Since V2.0.0 the major feature of database aware widgets, data connection editing and query editing has been added. This includes drivers for most of the major databases. -
21
ClassBuilder is freeware CASE tool targeted at the C++ developer, running on Win2K/XP/Vista/7. It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction through a graphical user interface
-
22
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
23
-
24
-
25
Contract++
Contract Programming Library for C++
**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net
