Search Results for "source code static anala" - Page 2
Sort By:
94 projects for "source code static anala" with 2 filters applied:
-
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
-
2
Pattern Craft
Professional-grade background patterns and gradients
Pattern Craft is a frontend resource focused on helping developers quickly add polished visual texture to websites and applications through a curated collection of modern background patterns and gradients. The project centers on production-ready snippets that are meant to be copied directly into real interfaces rather than treated as static inspiration only. Its repository describes more than 100 patterns and gradient snippets, with an emphasis on modern CSS techniques and Tailwind-friendly... -
3
SmartEnum
A base class for creating strongly typed enum replacements in C#
SmartEnum is a .NET library that provides a strongly typed alternative to traditional C# enums by allowing developers to create richer, object-oriented enumeration classes. Instead of being limited to primitive numeric values, SmartEnum enables enums to include behavior, validation, and additional properties while preserving type safety and readability. The library is widely used in domain-driven design scenarios where business concepts require more expressive modeling than standard enums... -
4
cppcheck
Static source code analysis tool for C and C++ code
Static analysis of C/C++ code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more. The goal is 0% false positives. See http://cppcheck.sourceforge.net for more information. -
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.
-
5
Smallpond
A lightweight data processing framework built on DuckDB and 3FS
smallpond is a lightweight distributed data processing framework built by DeepSeek, designed to scale DuckDB workloads over clusters using their 3FS (Fire-Flyer File System) backend. The idea is to preserve DuckDB’s fast analytics engine but lift it from single-node to multi-node settings, giving you the ability to operate on large datasets (e.g. petabyte scale) without moving to a heavyweight system like Spark. Users write Python-like code (via DataFrame APIs or SQL strings) to express... -
6
Hugo PaperMod
A fast, clean, responsive Hugo theme
PaperMod is a fast, minimal-yet-featureful theme for the Hugo static site generator, aimed at blogs, documentation sites, and personal pages. It focuses on clean typography, responsive layouts, and sensible defaults, while exposing a large set of front-matter and config options. Built-in features include dark/light modes, archive and taxonomy views, reading-time indicators, breadcrumbs, and an optional profile/landing layout. Client-side search, code highlighting, social links, and comment... -
7
Lightweight ring buffer manager
Lightweight generic ring buffer manager library
The library provides generic FIFO ring buffer implementation. -
8
A Free, Fast, and Small Automatic Formatter for C, C++, C++/CLI, Objective-C, C#, and Java Source Code. Website: http://astyle.sourceforge.net/ Git Repository: https://gitlab.com/saalen/astyle/
-
9
NanoH5 (tsl2nano)
java bean / database driven zero code application framework
NanoH5 (or FullRelation) is a fullstack UI implementation framework providing a model driven design (MDA). Build a complete html5 application through a given class- or database-model without coding (coding APIs are available). -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
Portable Webserver OS For Small Intranet
For Web Developers, Testers, Learners, End Users - Screenshots Below
Instructions: 1. Download & Extract the above zip file 2. Use the free Rescuezilla Software ( https://rescuezilla.com/ ) to restore this pen drive image, on to a 8 GB OR More Good EMPTY Pen Drive (Hint Below) 3. Restart the computer and quickly change the BIOS Boot Order, to boot from this written pen drive 4. Check the network tray icon on its desktop for ethernet / lan cable connectivity. If required, configure by clicking the eth0 button in it, for the first time, after... -
11
Kitten
A statically typed concatenative systems programming language
Kitten is an experimental, concatenative programming language that blends Forth/Joy-style stack programming with modern static typing and effect tracking. Programs are composed by chaining small words that transform a typed stack, and the compiler uses type inference to ensure compositions are valid. The language explores disciplined handling of side effects, aiming to separate pure transformations from operations that perform I/O or mutate state. Its design encourages small, reusable... -
12
CSS Theme Change
Change CSS theme with toggle, buttons or select using CSS properties
CSS Theme Change is a small utility for managing CSS theme toggling (such as light/dark mode) in web projects, designed to be lightweight, easy to integrate, and framework-agnostic. Instead of relying on heavy JavaScript frameworks or complex state management, it offers a simple API that listens to system preferences and UI interactions to swap theme classes or variables in real time. It can react to user toggles as well as automatically adapt to the user’s OS-level dark/light mode settings,... -
13
starboard-notebook
In-browser literate notebooks
starboard-notebook is an in-browser literate notebook runtime that enables users to write, edit, and interact with computational documents directly in the browser without needing a traditional backend notebook server. The project is built around an innovative runtime that interprets code cells and markdown in a way that feels fluid and interactive, often bridging concepts from classical notebook tools with modern web technologies. Starboard notebooks support multiple languages, and the... -
14
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ... -
15
DataTables
Tables plug-in for jQuery
DataTables is a jQuery plugin that enhances HTML tables with powerful dynamic features such as searching, sorting, and pagination. It transforms plain static tables into interactive data explorers with minimal code changes. Developers can customize its behavior through an extensive API, adding export buttons, column visibility toggles, custom filters, and integration with remote data sources via Ajax. The plugin is modular, with a core that provides essentials and a wide range of extensions... -
16
Nerfies
This is the code for Deformable Neural Radiance Fields
Nerfies demonstrates deformation-aware neural radiance fields that reconstruct and render dynamic, real-world scenes from casual video. Instead of assuming a static world, the method learns a canonical space plus a deformation field that maps changing poses or expressions back to that space during training. This lets the system generate photorealistic novel views of nonrigid subjects—faces, bodies, cloth—while preserving fine detail and consistent lighting. The training pipeline handles... -
17
WBBlades
WBBlades is a tool set based on Mach-O file parsing
WBBlades is a toolset based on Mach-O file parsing, including one-click detection for the app (supports OC and Swift), package size analysis (supports a single static library/dynamic library), point-to-point crash analysis (analyze system crash log, based on symbol file and without symbol files), Class automatic extraction and Hook capability based on Mach-O file. It mainly uses __Text assembly code analysis, architecture extraction, DYSM file stripping, symbol table stripping, and crash... -
18
CodeQL
Libraries and queries that power security researchers
CodeQL is a semantic code analysis engine that treats programs as queryable databases, enabling users to write expressive queries that identify security vulnerabilities, logic bugs, and code quality issues across large codebases. Instead of just pattern matching text, CodeQL ingests source code, builds rich representations of structure and data flow, and allows queries that reason about control flow, type systems, and interprocedural relationships. -
19
PowerMock
Java framework that allows you to unit test code normally
Writing unit tests can be hard and sometimes good design has to be sacrificed for the sole purpose of testability. Often testability corresponds to good design, but this is not always the case. For example final classes and methods cannot be used, private methods sometimes need to be protected or unnecessarily moved to a collaborator, static methods should be avoided completely and so on simply because of the limitations of existing frameworks. PowerMock is a framework that extends other... -
20
Yesod
A RESTful Haskell web framework built on WAI
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell's strong static typing, compile-time safety checks, Template Haskell, and domain-specific quasiquoters to ensure high reliability and performance. Safety & security guaranteed at compile time. Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space... -
21
XSpear
Powerfull XSS Scanning and Parameter analysis tool&gem
XSpear is an XSS Scanner on ruby gems. Powerful XSS Scanning and Parameter analysis tool&gem. -
22
TypeScript Koa Starter
TypeScript Koa Starter
Koa with TypeScript's application generator. Creates a new typescript koa application. application is configured to use TypeScript instead of plain JavaScript. Node Js is great for the rapid development of web-projects, but is often neglected because of the lack of type safety. TypeScript solves this issue and (along with its linter file) can even make your code more robust than some other static languages like Java. -
23
Browser diet
The definitive front-end performance guide
Browser diet is a community-driven front-end performance guide presented as a fun, colorful website that explains how to make web pages faster and “lighter.” It collects advice from experienced front-end developers and organizes it into practical sections covering HTML, CSS, JavaScript, images, server configuration, and general best practices. The project was built as a static site powered by DocPad, with content written in Markdown and translated into multiple languages, making it... -
24
RecNN
Reinforced Recommendation toolkit built around pytorch 1.7
This is my school project. It focuses on Reinforcement Learning for personalized news recommendation. The main distinction is that it tries to solve online off-policy learning with dynamically generated item embeddings. I want to create a library with SOTA algorithms for reinforcement learning recommendation, providing the level of abstraction you like. -
25
Native File Dialog
Neat C library that portably invokes native file open and save dialogs
A tiny, neat C library that portably invokes native file open, folder select, and save dialogs. Write dialog code once and have it pop up native dialogs on all supported platforms. Avoid linking large dependencies like wxWidgets and qt. Tested, works alongside libsdl on all platforms, for the game developers out there.