Search Results for "essential-static" - Page 36
Sort By:
Showing 1086 open source projects for "essential-static"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
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
Asteroid
A CBLS Engine in SCALA, NOW part of OscaR
Asteroid has been merged with Scampi, to give rise to OScar. Follow us on https://bitbucket.org/oscarlib/oscar/wiki/Home Asteroid offers a powerful framework for developing constraint-based local search solution to combinatorial problems. This technique provides good scalability to real-world problems. It includes a library of standard constraints and invariants to declaratively define the problem you want to solve, and it also provides powerful search mechanisms. -
2
Nataly
A framework that translate name-based pointcut to analysis-based ones
Nataly, which can translate name-based pointcuts into analysis-based pointcuts automatically. Analysis-based pointcuts, can specify join points through static program analysis. But another problem is that there are few approaches can generate analysis-based pointcuts. We implement Nataly to tackle these two problems with a novel pattern, which is generated by static analysis. -
3
Octopress
Octopress is an obsessively designed framework for Jekyll blogging
Octopress is a blogging framework built on top of Jekyll, designed to make static site generation easier and more attractive for developers. It provides a theming system, plugins, and prebuilt templates for blogs that are responsive, SEO-friendly, and customizable. Octopress simplifies common tasks like syntax highlighting for code snippets, social sharing integration, and deployment scripts for publishing to GitHub Pages or other static hosts. -
4
Go
Go (Golang): An open-source programming language supported by Google
Go (Golang) is an open-source programming language designed for simplicity, reliability, and efficiency. Created by Google, it is well-suited for building scalable software, from small utilities to large distributed systems. Go features a clean syntax, strong typing, and built-in concurrency support through goroutines, making it ideal for modern multi-core processors. The language comes with a powerful standard library and tools for testing, formatting, and package management, streamlining... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
The AccessModifer Plug-in for Eclipse allows the user to change the visibility (public, protected, default, private) and other modifiers (final, static, synchronized) of Java classes, interfaces, methods and fields in several of the workbench's views.
-
6
Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...
-
7
KDD: Kernel Data Disambiguation Tool
KDD: Kernel Data Disambiguation Tool
...Windows and Linux) without any prior knowledge of the OS. KDD disambiguates the pointer-based relations including generic pointers - to infer their candidate types/values - by performing static points-to analysis on the kernel’s source code. KDD takes the source code of an OS kernel as input and outputs an accurate directed type-graph that represents the kernel data definition. KDD is able to scale to the enormous size of kernel code, unlike many other points-to analysis tools. -
8
Static Gtk+ for Windows
Static Gtk+ Library for Windows.
Static Gtk+ Library for Windows. -
9
NodeCom is an open-source component framework for extremely constrained WSN. This project sourceforge is under construction. The code will be added soon. See our laboratory web page: http://domus.usherbrooke.ca/
-
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.
-
10
compeo++
compeo++ - Manage Flytec/ Bräuniger Instruments
...It comes as a portable C++ application with no dependency on any other program (except the GNU/ Linux platform libraries). It aims at being easy to install, easy to run and easy to use. It was written and tested on a two+ years old netbook. It concentrates on supporting the essential instrument management use cases: - Browse and export track logs. - Browse, export and import waypoints. - Create and browse routes. It does not aim at being a full-fledged flight-management and analysis tool - simply because such tools are available online all over the net (e.g. Leonardo). Additional import formats may be added in the future. -
11
Libcondset
This library provides a class representing sets of predicates and data
...The class also has a compact binary format, making this class best suited to sending conditions over the network or saving them in files. It is a small library providing one C++ class. It can be used as a dynamic library, a static library, or just a header and an object file. This library has been tested for the formats portability and has been tested on Ubuntu 11.04, Ubuntu 10.04, and Mac OSX 10.7. It should work on most, if not all UNIX/POSIX based operating systems that can run GCC. If you want to add anything to the code, just drop me a line in the discussion and I'll give you write access. -
12
-
13
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
14
Konzept is a small class diagram editor. Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.
-
15
CRCLIB
CRC Library
...Because CRC check is often used by binary communication protocols, it is made as simple as it can be, built into library so that it could be used regardless of language of application code. Written in plain C, built as dll and static library, and also contains C/C++ import header, C# wrapper and .NET project for MS SQL Server assembly. Supports CRC16 (including MODBUS) and CRC32. -
16
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
17
NUnit.Extensions is a collection of classes which assist with unit testing of .net code using NUnit. Please note that this is not part of the NUnit framework and is in no way endorsed or supported by the people who develop and support the NUnit frame
-
18
A library written in C# for encoding and decoding animated Graphics Interchange Format (GIF) images. Based on NGif http://www.codeproject.com/KB/GDI-plus/NGif.aspx. Includes sample apps for encoding and decoding GIF files.
-
19
CoffeeKup
Markup as CoffeeScript
...Because it targets CoffeeScript users, CoffeeKup often appeals to projects that prefer that language’s terse style and want templates that look like the rest of their code. The project includes examples and installation instructions for integrating templates into server-side rendering pipelines and simple static site workflows. -
20
BulkLoader
A bulk loading library for Actionscript
BulkLoader is a minimal ActionScript 3 (AS3) library intended to simplify the process of loading and managing multiple assets (images, SWFs, XML, sounds, etc.) in Flash/AIR projects. It provides a unified interface to deal with different content types, handles connection pooling, progress reporting, caching, retries, priority, and other conveniences so developers spend less effort coordinating many concurrent loads. Statistics about loading (latency, speed, average speed). Various kinds on... -
21
symlookup
object symbol lookup utility
This program searches for both dynamic and static libraries, looking those ones which provide given object symbols. It will assist you in undefined symbol errors eliminating. -
22
A tool to help developers and security professionals conduct manual security code reviews in a consistent and repeatable way. Agnitio aims to replace the adhoc nature of manual security code review documentation, create an audit trail and reporting.
-
23
The java library based on Mockito wich extends it with the ability to mock private/static/final methods, getting and setting the values for private fields and to substitute the date and time for testing purposes.
-
24
This tool allows users to centralize the default Swing Look and Feel selection for those Java applications that implement the specification. In order to use this service, programmers only have to reference a JAR library and call a static method.
-
25
essential is a lightweight REST framework for Java with focus on processing XML and JSON out of the box.
