Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

ESP32-BlueJammer: A Powerful 2.4GHz Jammer (Educational Purposes Only)

2025-06-23
ESP32-BlueJammer: A Powerful 2.4GHz Jammer (Educational Purposes Only)

The ESP32-BlueJammer is a 2.4GHz jammer based on an ESP32 and nRF24 modules, capable of disrupting various devices including Bluetooth, BLE, WiFi, and RC devices. It achieves interference by sending numerous disruptive packets and boasts a significant range (over 30 meters). The project offers DIY kits and pre-soldered versions, along with comprehensive assembly and firmware flashing tutorials. Crucially, note that signal jamming is illegal; this project is strictly for educational purposes and should not be used for illegal activities.

Read more
(github.com)
Hardware Jammer

CF-Shield: Automated Cloudflare DDoS Protection with Python

2025-06-23
CF-Shield: Automated Cloudflare DDoS Protection with Python

CF-Shield is a Python script that automatically detects and mitigates DDoS attacks on Cloudflare. It requires your Cloudflare email, API token, zone ID, and account ID. After installation, the script prompts you to set a CPU usage threshold, challenge type, and optional Discord, Slack, and Telegram notifications. It monitors CPU usage; if it exceeds the threshold, it automatically enables Cloudflare's WAF rules and disables them after the attack. This powerful tool helps protect your website from DDoS attacks.

Read more
(github.com)
Development DDoS protection Python script

Polystate: Composable Finite State Machines in Zig

2025-06-23
Polystate: Composable Finite State Machines in Zig

Polystate is a Zig library for building composable finite state machines through type composition. It enforces programming conventions, recording the state machine's status at the type level and achieving composability via type composition. This improves the correctness of imperative program structures and encourages redesigning the program's state from the perspective of types and composition, thus enhancing code composability. Polystate automatically generates state diagrams, allowing users to intuitively understand program behavior. Examples demonstrate building simple state machines and complex ones through type composition, such as limiting PIN entry attempts in an ATM and reusing selection mechanics in a raylib game. The library leverages type-level programming to achieve conciseness, correctness, and safety.

Read more
(github.com)
Development Composability

Bunge Bits: Making Kenyan Legislation Accessible

2025-06-22
Bunge Bits: Making Kenyan Legislation Accessible

Bunge Bits offers concise summaries of Kenyan parliamentary proceedings, making complex legislative information easier to understand. By improving transparency and accessibility, Bunge Bits aims to empower Kenyan citizens to engage more fully in their democracy. The project relies on cloud hosting, databases, and AI technology, and welcomes sponsorship to support its continued operation.

Read more
(github.com)
Misc civic engagement

mbake: A Makefile Formatter and Linter After 50 Years!

2025-06-22
mbake: A Makefile Formatter and Linter After 50 Years!

After a 50-year wait (referencing the long history of Makefiles), mbake is finally here! This Makefile formatter and linter not only automatically fixes formatting issues such as indentation, spacing, and line breaks but also intelligently detects `.PHONY` targets and supports custom rules and plugin extensions. It offers a rich command-line interface for formatting, validation, and version management, seamlessly integrating into CI/CD workflows. Whether you're a beginner or an expert, mbake significantly improves Makefile writing efficiency and readability.

Read more
(github.com)
Development linter

Sound as Pure Form: A Stack-Based Postfix Notation Language for Sound

2025-06-22
Sound as Pure Form: A Stack-Based Postfix Notation Language for Sound

SAPF is an interpreter for exploring sound as pure form. Its language is primarily functional, stack-based, and uses postfix notation similar to FORTH. It represents audio and control events using lazy, potentially infinite sequences, aiming to do for lazy sequences what APL does for arrays: provide very high-level functions with pervasive automatic mapping, scanning, and reduction operators. This allows short programs to achieve disproportionately large results. Because nearly all programmer-accessible data types are immutable, the language can easily run multiple threads without deadlock or corruption. Inspired by APL, Joy, Haskell, Piccola, Nyquist, and SuperCollider, it prioritizes concise expressiveness.

Read more
(github.com)
Development sound programming postfix notation

B Compiler in Crust: A Work in Progress

2025-06-21
B Compiler in Crust: A Work in Progress

A B programming language compiler, written in Rust with fasm as the backend, is now available! The project includes a testing utility, btest, which builds and runs tests from the ./tests/ directory, generating a matrix report across supported targets. btest allows specifying targets (-t) and individual test cases (-c), facilitating targeted testing. While still under development, the compiler successfully compiles and runs basic examples like hello_world.b.

Read more
(github.com)
Development B Language

to-userscript: Powerful CLI for Converting Browser Extensions to Standalone Userscripts

2025-06-21
to-userscript: Powerful CLI for Converting Browser Extensions to Standalone Userscripts

to-userscript is a command-line tool that transforms Chrome or Firefox extensions into standalone .user.js files runnable in any userscript manager. It handles various sources: Chrome Web Store, Firefox Add-ons, local directories, and archive files. It cleverly replaces common WebExtension APIs, embeds CSS, images, and other resources, and emulates background scripts and internationalization. Installation is straightforward via npm, pnpm, or bun.

Read more
(github.com)
Development userscript

Serverless QUIC Proxy via NAT Hole Punching with AWS Lambda

2025-06-21
Serverless QUIC Proxy via NAT Hole Punching with AWS Lambda

This project implements a serverless QUIC proxy using AWS Lambda functions and NAT hole punching. Leveraging S3 for coordination and UDP traversal techniques, it creates encrypted proxy connections without needing dedicated servers – only on-demand Lambda functions. The system uses a three-phase approach: coordination (client discovers public IP via STUN, writes session info to S3), NAT hole punching (client and Lambda exchange UDP packets to create bidirectional holes), and QUIC tunnel establishment (client starts QUIC server, Lambda connects). The result is a browser connecting to the internet via a SOCKS5 proxy, with the Lambda function acting as an exit node forwarding traffic.

Read more
(github.com)
Development NAT hole punching

AtomicOS: A Security-First Educational OS

2025-06-21
AtomicOS: A Security-First Educational OS

AtomicOS is an educational operating system built from scratch, prioritizing security over performance. It utilizes a deterministic programming language, Tempo, and implements real memory protection, cryptography (AES-128, SHA-256), and a full MMU. While currently lacking features like a network stack, file system, and drivers, its security-focused design and implementation are noteworthy. The project is open-source but requires attribution and disclosure of modifications.

Read more
(github.com)
Development

Tux Racer in Your Browser: A Classic Returns

2025-06-20
Tux Racer in Your Browser: A Classic Returns

TuxRacer.js is an open-source browser-based port/rewrite of the classic penguin-racing game, Tux Racer, and its successor, Extreme Tux Racer. Playable on desktop and mobile browsers, players control Tux using keyboard/mouse (desktop) or touch input (mobile), navigating varied terrains and environments. Multiple courses and environments are selectable, with URL parameters allowing customization. While in early development, the game is already enjoyable.

Read more
(github.com)
Game Browser Game

Nxtscape: The Open-Source Agentic Browser – Your AI-Powered Productivity Sidekick

2025-06-20
Nxtscape: The Open-Source Agentic Browser – Your AI-Powered Productivity Sidekick

Nxtscape, an open-source browser built on Chromium, offers a privacy-first alternative to closed-source options. It allows users to run agents like Manus locally, boosting productivity with an AI assistant. Unlike Chrome, Nxtscape keeps AI functionality local, prioritizing user privacy. Its vision is to reinvent the browser experience, tackling issues like tab overload and cumbersome form filling. Future features include an MCP store and a built-in AI ad blocker. The project is open-source and community-driven, encouraging user participation.

Read more
(github.com)
Development Open-Source Browser

Minimal Automatic Differentiation Engine in Rust

2025-06-20
Minimal Automatic Differentiation Engine in Rust

This is a minimal automatic differentiation engine written in Rust. It can train a tiny Multi-Layer Perceptron to learn the XOR function and render a computation graph of a single Perceptron to graph.html. The core is the Scalar struct, storing value, optional gradient, and an Edge describing the operation that produced it. Operator overloads and helper functions build a directed acyclic graph, caching the local derivative for every edge. `backward()` recursively propagates gradients from the output node, accumulating them into leaf nodes created with `Scalar::new_grad`. The graph can be visualized with `plot::dump_graph`.

Read more
(github.com)
Development Automatic Differentiation

ts-ssh: A Powerful Tailscale SSH/SCP CLI Tool

2025-06-20
ts-ssh: A Powerful Tailscale SSH/SCP CLI Tool

ts-ssh is a streamlined command-line SSH and SCP client leveraging the Tailscale network. It offers powerful multi-host operations, batch command execution, and true tmux integration—all without requiring the full Tailscale daemon. Perfect for DevOps teams needing fast, reliable SSH access across their Tailscale infrastructure, ts-ssh supports multiple authentication methods, interactive SSH sessions, secure host key verification, and direct SCP transfers. Its advanced multi-host capabilities include batch command execution, concurrent command execution, and multi-host file distribution. Cross-platform compatible and offering multiple language support, ts-ssh is a must-have for efficient network management.

Read more
(github.com)
Development

Hurl: Command-Line HTTP Request Testing Tool

2025-06-20
Hurl: Command-Line HTTP Request Testing Tool

Hurl is a powerful command-line tool that defines and runs HTTP requests using a simple plain text format. It supports request chaining, value capturing, and query evaluation on response headers and bodies, making it suitable for data fetching and testing HTTP sessions across various APIs like REST, SOAP, and GraphQL. Built with Rust and leveraging libcurl, Hurl is lightweight, fast, and integrates seamlessly with CI/CD pipelines through various report formats.

Read more
(github.com)
Development

Precise Decimal Fixed-Point Types in Rust: primitive_fixed_point_decimal

2025-06-20
Precise Decimal Fixed-Point Types in Rust: primitive_fixed_point_decimal

Rust's built-in floating-point types lack precision when representing decimal numbers. The `primitive_fixed_point_decimal` crate offers a solution by using integer types and a scaling factor to represent decimals accurately, guaranteeing fractional precision. It provides two types: `ConstScaleFpdec`, which specifies the scaling factor at compile time; and `OobScaleFpdec`, which allows specifying it at runtime, offering greater flexibility but increased complexity. The crate also addresses cumulative errors from multiple multiplications and divisions, providing a `cum_error` mechanism for control. In short, it's an efficient and precise Rust library for decimal fixed-point types, ideal for applications demanding high accuracy, such as financial systems.

Read more
(github.com)
Development fixed-point decimal

Git Smart Squash: AI-Powered Git Commit History Cleanup

2025-06-20
Git Smart Squash: AI-Powered Git Commit History Cleanup

Tired of spending 30 minutes reorganizing commits before a PR? Git Smart Squash uses AI to automatically organize your changes into logical, well-structured commits in seconds. It analyzes your diff, groups related changes together, and creates clean commit messages that follow conventional commit standards. Supports local AI (Ollama) and cloud AI (OpenAI, Anthropic, Gemini), offering a safe and reliable backup mechanism to ensure your original commits are always saved. Handles even large diffs by allowing you to break your work into smaller chunks or switching to a cloud AI provider.

Read more
(github.com)
Development Code Cleanup

High-Performance BitTorrent Tracker in Elixir: ExTracker

2025-06-20
High-Performance BitTorrent Tracker in Elixir: ExTracker

ExTracker is a high-performance BitTorrent tracker written in Elixir. It boasts low memory usage, zero configuration, and utilizes all available cores. Currently featuring HTTPS support and database backups, it offers three deployment methods: source code, pre-built releases, and a Docker image. A test instance is already running with live statistics, though the project is still a work in progress. Future plans include features like whitelisting/blacklisting, enhanced peer management, and GeoIP support.

Read more
(github.com)
Development

Literate Programming: Making Code More Readable

2025-06-19
Literate Programming: Making Code More Readable

Literate programming, a paradigm invented by Donald Knuth, prioritizes code readability for humans over immediate machine execution. This allows programmers to develop programs in a more natural, thought-driven order. Literate programs interweave natural language explanations with code snippets, enhancing understanding and collaboration. The Literate tool, described here, aims to simplify and extend Knuth and Levy's original CWEB system. It supports multiple languages, syntax highlighting, pretty-printing to HTML, Markdown-based authoring, and offers a command-line interface for compiling code and generating HTML documentation. The project is open-source and welcomes contributions.

Read more
(github.com)
Development Literate Programming

EnrichMCP: The ORM for AI Agents

2025-06-19
EnrichMCP: The ORM for AI Agents

EnrichMCP is a Python framework that empowers AI agents to understand and interact with your data like an ORM. Built on the Model Context Protocol (MCP), it adds a semantic layer transforming your data models into typed, discoverable tools. It supports SQLAlchemy models, REST APIs, and custom logic, automatically generating typed tools, handling relationships, providing schema discovery, and validating with Pydantic. AI agents can explore data models, query data, and navigate relationships as naturally as developers using an ORM.

Read more
(github.com)
Development

RoureXOS 2.0: A Lightweight OS Rewritten in Rust

2025-06-19
RoureXOS 2.0: A Lightweight OS Rewritten in Rust

The RoureXOS operating system has been rewritten in Rust for its second iteration. This lightweight OS can run in the QEMU emulator (using the provided ISO image) and on x86_64 bare metal (booting from USB). Detailed instructions cover dependency installation, kernel compilation, ISO image creation, QEMU emulation, and even networking using SLIP. The clear steps make it easy to experience this new OS.

Read more
(github.com)
Development

Real-time Claude Code Token Usage Monitor: Track and Predict Your Consumption

2025-06-19
Real-time Claude Code Token Usage Monitor: Track and Predict Your Consumption

This terminal monitoring tool, Claude Code Usage Monitor, provides real-time tracking of your Claude AI token usage. It features visual progress bars for tokens and time remaining, burn rate calculations, and predictions of when you'll run out of tokens. Supporting Pro, Max5, Max20, and custom max plans, it automatically switches to custom_max when Pro limits are exceeded and includes alerts and customizable reset times. The clean interface enhances user experience.

Read more
(github.com)
Development

Unregistry: A Lightweight Docker Image Registry for Effortless Transfers

2025-06-19
Unregistry: A Lightweight Docker Image Registry for Effortless Transfers

Unregistry is a lightweight container image registry that stores and serves images directly from your Docker daemon's storage. The `docker pussh` command allows pushing images to remote Docker servers over SSH, transferring only missing layers for speed and efficiency. Bypass the complexities of Docker Hub or self-hosted registries; simply use `docker pussh myapp:latest user@server` for a direct, simple transfer. It establishes an SSH tunnel, runs a temporary Unregistry container, pushes only missing layers, then closes the tunnel. Perfect for production deployments, CI/CD pipelines, and air-gapped environments.

Read more
(github.com)
Development Image Transfer Lightweight Registry

fang: Supercharging Your Cobra CLI Apps

2025-06-19
fang: Supercharging Your Cobra CLI Apps

fang is a small, experimental library providing batteries-included enhancements for Cobra-based CLI applications. It boasts features like fully styled help and usage pages, styled errors, automatic --version handling, man page generation (using mango), shell completions, theming, and silent usage output. Integration is straightforward, requiring minimal code changes to significantly improve your CLI's user experience.

Read more
(github.com)
Development

Bento: A Pocket-Sized Spatial Computer

2025-06-18
Bento: A Pocket-Sized Spatial Computer

Bento is a unique computer, inspired by the Commodore 64 and cyberdeck aesthetics, designed to fit perfectly under a keyboard which serves as its lid. This provides easy access to internals and storage for peripherals. Primarily intended for use with spatial displays like the XREAL One (though compatible with any USB-C monitor), Bento uses a Steam Deck OLED mainboard, cooler, and battery for optimal power and portability. Unlike bulky XR devices which are limited to basic functions, Bento is designed for real work, offering a powerful and portable solution for spatial computing. The project is open-source and welcomes contributions.

Read more
(github.com)
Hardware portable computer

Delve: An Enterprise-Grade Data Analytics Platform – Alpha Release

2025-06-18
Delve: An Enterprise-Grade Data Analytics Platform – Alpha Release

Delve is an enterprise-grade data analytics platform currently in alpha pre-release, licensed under the AGPL-3.0 license. It boasts robust capabilities for ingesting, analyzing, and visualizing data from various sources. Features include an interactive search interface, a pipeline-based query language, custom dashboards, and real-time alerts. Enterprise features such as role-based access control, custom app development, and extensible search commands are also included. Installation is straightforward; simply download, unzip, and run a few commands to get started. While in its early stages, Delve's powerful features and ease of use make it a promising solution for enterprise data analysis.

Read more
(github.com)
Tech enterprise application

DSC: A PyTorch-Compatible Tensor Library and Inference Framework

2025-06-18
DSC: A PyTorch-Compatible Tensor Library and Inference Framework

DSC is a PyTorch-compatible tensor library and inference framework for machine learning models. It boasts a C-compatible low-level API wrapped in a modern Python API similar to NumPy/PyTorch, with usability enhancements. Key features include an intuitive API, built-in neural network support, multiple backends (CPU and CUDA), minimal external dependencies, and no runtime allocations. Installation is straightforward, requiring only a C++20 compiler and GNU Make. CUDA acceleration is supported; simply set environment variables to enable it. Unit tests are run via pytest, ensuring correctness.

Read more
(github.com)
Development tensor library

Workout.cool: The Open-Source Fitness Platform Reborn

2025-06-18
Workout.cool: The Open-Source Fitness Platform Reborn

Workout.cool is a modern, open-source fitness coaching platform resurrected from the ashes of its predecessor, workout.lol. After the original project was abandoned due to video licensing issues, developer Snouzy took over and rebuilt it from the ground up, offering a comprehensive exercise database, progress tracking, and personalized workout plans. Built with Next.js App Router and Feature-Sliced Design, the project welcomes community contributions. It's a by-the-community, for-the-community project aiming to provide a reliable and maintainable platform for the open-source fitness community.

Read more
(github.com)
Development

MiniMax-M1: A 456B Parameter Hybrid-Attention Reasoning Model

2025-06-18
MiniMax-M1: A 456B Parameter Hybrid-Attention Reasoning Model

MiniMax-M1, a groundbreaking open-weight, large-scale hybrid-attention reasoning model, boasts 456 billion parameters. Powered by a hybrid Mixture-of-Experts (MoE) architecture and a lightning attention mechanism, it natively supports a context length of 1 million tokens. Trained using large-scale reinforcement learning, MiniMax-M1 outperforms other leading models like DeepSeek R1 and Qwen3-235B on complex tasks, particularly in software engineering and long-context understanding. Its efficient test-time compute makes it a strong foundation for next-generation language model agents.

Read more
(github.com)
AI Hybrid Attention
1 2 … 9 10 11 13 15 16 17 … 50 51