Search Results for "archiving programs windows" - Page 2
Sort By:
1912 projects for "archiving programs windows" with 1 filter 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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
2
ENScan Go
ENScan_GO is an enterprise information reconnaissance tool
ENScan_GO is an enterprise information reconnaissance tool focused on Chinese corporate data sources. It aggregates official and third-party APIs to pull records like ICP filings, affiliated/holding companies, apps, mini-programs, and WeChat official accounts, then exports merged results for analysis. The tool targets analysts who need one-click collection and normalized output to reduce manual lookups across registries and platforms. Recent releases added a reworked task model with... -
3
A to Z Resources for Students
Curated list of resources for developers
A to Z Resources for Students is a curated directory of learning materials, developer tools, programs, events, and career opportunities for students and early-career technologists. It helps users discover resources for learning programming languages, frameworks, AI, machine learning, cybersecurity, mobile development, and other technical fields. The collection also includes hackathons, competitions, internships, student programs, open-source opportunities, and networking communities.... -
4
Go by Example
1000+ Hand-Crafted Go Examples, Exercises, and Quizzes
Go by Example is a large hands-on curriculum for learning the Go programming language through examples, exercises, quizzes, and small projects. It contains more than a thousand hand-crafted programs intended to be fixed, completed, or studied directly. Lessons progress from installation and first programs through variables, control flow, arrays, slices, strings, maps, structs, functions, pointers, interfaces, and concurrency. Several sections introduce practical projects such as a retro LED... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
pytudes
Python programs, usually short, of considerable difficulty
pytudes is Peter Norvig’s collection of short Python programs written to practice and demonstrate specific programming skills. The name is inspired by musical études, meaning compact exercises designed to build mastery through focused practice. The repository includes readable solutions, experiments, notebooks, and scripts that cover algorithms, puzzles, probability, search, language processing, simulation, and mathematical reasoning. It is useful for programmers who want to study elegant... -
6
Spoon
Metaprogramming library to analyze and transform Java source code
Spoon is an open-source library to analyze, rewrite, transform, transpile Java source code. It parses source files to build a well-designed AST with powerful analysis and transformation API. It supports modern Java versions up to Java 20. Spoon is an official Inria open-source project, and member of the OW2 open-source consortium. -
7
Emacs-libvterm
Emacs libvterm integration
emacs-libvterm is a terminal emulator integration for GNU Emacs based on the libvterm C library. It gives Emacs users a fast and capable terminal buffer that behaves more like a real terminal than many older Emacs shell modes. Because it uses compiled libvterm code, it can support full-screen terminal applications, interactive shells, TUI programs, and complex terminal behavior more reliably. The project bridges Emacs Lisp with native terminal emulation so users can keep command-line... -
8
CodeGen
Open-source model for program synthesis
CodeGen is a family of open-source large language models designed specifically for program synthesis and code generation tasks. Developed by Salesforce Research, the models are trained on large datasets containing both natural language and programming language content. This allows them to translate natural language descriptions into functional code across a variety of programming languages. CodeGen supports multi-turn program synthesis, meaning it can generate complex programs through a... -
9
RustDesk Server PRO
Some scripts for RustDesk Server Pro are hosted here
This project provides the enterprise-grade backend for RustDesk deployments that need centralized management, stronger policy controls, and advanced operational tooling. It encompasses the components required to broker, relay, and supervise connections while adding administrative layers suitable for regulated or large environments. Organizations can standardize how clients authenticate, how sessions are permitted and audited, and how data paths are routed under diverse network constraints.... -
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.
-
10
Clonezilla
A partition and disk imaging/cloning program
Clonezilla is a partition and disk imaging/cloning program similar to True Image®. It saves and restores only used blocks in hard drive. Two types of Clonezilla are available, Clonezilla live and Clonezilla SE (Server Edition). -
11
single-file-cli
CLI tool to save complete web pages as single self-contained HTML file
SingleFile CLI is an open source command-line tool designed to save complete web pages as a single self-contained HTML file. It captures the rendered page in a headless browser and embeds all required resources directly into the output document, including stylesheets, scripts, images, and fonts. By consolidating every dependency into one file, it allows users to preserve a faithful copy of a web page that can be viewed offline without requiring external assets. SingleFile CLI works by... -
12
yudao-cloud
New Cloud version of Ruoyi-Vue-Pro optimized to refactor all features
yudao-cloud is the cloud-native evolution of the popular ruoyi-vue-pro backend system, rebuilt around Spring Cloud Alibaba and a microservice architecture. It delivers a full-stack solution that combines a Spring-based backend, MyBatis Plus for data access, and a Vue + Element-based admin front-end, along with user-facing mini-programs. The system targets enterprise scenarios and includes modules for RBAC-based dynamic permissions, multi-tenant SaaS capabilities, data permissions, and... -
13
SpaceWasm
A flight-compliant WebAssembly interpreter
SpaceWasm is a NASA JPL WebAssembly interpreter designed for resource-constrained spacecraft systems. It implements a constrained form of the WebAssembly 1.0 specification for executing portable onboard programs. A streaming decoder reads modules in chunks, validates them in one pass, and converts instructions into an interpretation-focused intermediate representation. Its custom memory model uses fixed-size pages to provide deterministic allocation behavior and avoid panic on allocation... -
14
100+ Python Projects Challenge
100+ Python Projects Challenge
100+ Python Projects Challenge is a project-based Python learning repository focused on building many small applications and utilities. Instead of only practicing isolated syntax, it encourages learners to apply Python through complete mini-projects. The challenges span practical scripts, beginner applications, automation ideas, games, data tasks, and other hands-on exercises. This makes it useful for users who want to build a portfolio of small programs while reinforcing programming... -
15
Drogon
Drogon: A C++14/17/20 based HTTP web application framework
Drogon is a C++14/17-based HTTP application framework. Drogon can be used to easily build various types of web application server programs using C++. Drogon is the name of a dragon in the American TV series "Game of Thrones" that I really like. Drogon is a cross-platform framework, It supports Linux, macOS, FreeBSD, OpenBSD, HaikuOS, and Windows. Use a non-blocking I/O network lib based on epoll (kqueue under macOS/FreeBSD) to provide high-concurrency, high-performance network IO, please visit the TFB Tests Results for more details. ... -
16
Deep Learning Interviews book
Hundreds of fully solved job interview questions
The interviews.ai repository hosts the open materials for the book Deep Learning Interviews, a comprehensive collection of technical questions and fully solved problems covering many aspects of artificial intelligence. The project was created to help students, researchers, and engineers prepare for machine learning and deep learning interviews by providing structured explanations of key concepts. The repository organizes problems across topics such as neural networks, optimization,... -
17
uni-app
A cross-platform framework using Vue.js
uni-app is a cross-platform framework that lets developers build applications with Vue syntax and deploy them to multiple targets: iOS, Android, web (H5), and a range of mini-program ecosystems. It abstracts platform differences through a unified component and API layer, so most business logic and UI code can be shared across outputs. The tooling includes a CLI, IDE support, and a plugin market that provides native integrations, UI kits, and deployment helpers. Developers can choose between... -
18
eCapture
Capturing SSL/TLS plaintext without a CA certificate using eBPF
Capture SSL/TLS text content without a CA certificate using eBPF. Supports Linux/Android kernel versions x86_64 4.18 and above, aarch64 5.5 and above. Does not support Windows and macOS systems. -
19
Inspektor Gadget
The eBPF tool and systems inspection framework for Kubernetes
Inspektor Gadget is a collection of tools (or gadgets) to debug and inspect Kubernetes resources and applications. It manages the packaging, deployment, and execution of eBPF programs in a Kubernetes cluster, including many based on BCC tools, as well as some developed specifically for use in Inspektor Gadget. It automatically maps low-level kernel primitives to high-level Kubernetes resources, making it easier and quicker to find the relevant information. -
20
ThinkStats2
Text and supporting code for Think Stats, 2nd Edition
ThinkStats2 is the code and text companion for the second edition of Think Stats, an introduction to statistics and data science for Python programmers. It teaches probability and statistical reasoning through short programs, experiments, and analysis of real datasets. The material emphasizes exploratory methods that help readers ask and answer practical questions with data. Case studies draw from public sources, including health-related datasets, to connect abstract concepts with realistic... -
21
Former.skill
AI skill generator designed to reconstruct conversational personality
Ex Skill is an AI skill generator designed to reconstruct the conversational personality and shared memories of a former partner from personal data. It can analyze exported chats, photos, social media records, PDFs, images, and manually entered descriptions. The system builds separate memory and persona layers covering relationship history, habits, emotional patterns, communication style, and behavior. Generated personas can respond in a style modeled after the source material. New... -
22
Free ChatGPT Site List
It collects and organizes a wide variety of ChatGPT resources
Free ChatGPT Site List is an open-source aggregation project that collects and organizes a wide variety of ChatGPT and AI web resources into a single navigable directory. The repository functions primarily as a curated navigation hub where users can discover free AI tools, websites, and services in one place. It was designed to reduce friction for users trying to locate working AI endpoints or utilities across the rapidly changing ecosystem. The project emphasizes simplicity and quick access... -
23
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic... -
24
birdclaw
Stores all your tweets nicely claw-able for agents
birdclaw is a local-first Twitter workspace designed for archiving, organizing, searching, and interacting with Twitter or X content in a structured environment. The project combines a web application and command-line interface to help users import personal archives, cache live content locally, and manage replies or engagement workflows from a centralized system. Its architecture prioritizes data ownership and offline accessibility, allowing users to retain searchable records of posts,... -
25
AudioNotes
Extract audio and video content and organize it into a Markdown note
AudioNotes is an application (or proof-of-concept) that likely combines audio recording or playback with note-taking or annotation functionality — enabling users to record voice or audio and attach textual or timestamped notes, making it ideal for lectures, interviews, meetings, or personal memos. Such a tool offers a more expressive and flexible way to capture and revisit information: instead of just typed notes or raw audio, users get both audio context and structured notes. As an...
