Show HN: Micron – Oberon with the Power of C(github.com)
37 points by Rochus | 11 comments
GitHub repository for Micron, a compiler, interpreter and IDE for an Oberon-derived systems programming language with C-like low-level capabilities.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Show HN: Cerulion – ROS 2-compatible robotics runtime with multi-process replay(github.com)
8 points by lakshays | 2 comments
GitHub repository for Cerulion, an AGPL-licensed Rust robotics runtime compatible with ROS 2 offering zero-copy shared-memory IPC and deterministic multi-process replay.
Octomind – open-source AI harness that saves your tokens, static rust(github.com)
41 points by donk8r | 32 comments
GitHub repository for Octomind, an open-source Rust AI coding agent and runtime that works with any model, is MCP-native, and runs in terminal, CI, or as a daemon.
Show HN: Spindle – a full-featured, type-safe web framework for OCaml 5(github.com)
51 points by zaiev | 8 comments
GitHub repository for Spindle, a type-safe, multicore, Eio-native web framework for OCaml 5 with OpenAPI, Zod and Melange client generation and MCP support.
Show HN: Klad, a paint app your coding agent can drive (source-available)(github.com)
59 points by ambewas | 26 comments
GitHub repository for Klad, a source-available Rust paint and animation app with editable brush strokes that AI coding agents can control via a CLI.
Zebkit – Chromium as an embeddable library(github.com)
107 points by Riiiiichard | 40 comments
GitHub repository for zebkit, a slim cross-platform library that embeds Chromium's browser engine into applications, with Rust and Python bindings.
Related stories
Show HN: JavaScript web apps with WASM layout and GPU rendering in 280 KB(github.com)
35 points by rkaehn | 18 comments
GitHub repository for Uniform, a C-based UI layout and GPU rendering library with a JavaScript API, compiling to WASM for web and native code for macOS and iOS.
SSH3: Faster and rich secure shell using HTTP/3(github.com)
495 points by tempaccount420 | 248 comments
GitHub repository for SSH3, a secure shell implementation built on HTTP/3, with an accompanying arXiv paper and IETF Internet-Draft.
Show HN: Sumi.css – CSS Framework(github.com)
58 points by bepero | 13 comments
GitHub repository for Sumi.css, a minimalist classless-first CSS framework (6.7 KB gzipped) with dark mode, theming via custom properties, and no build step.
CuPy: NumPy and SciPy for GPU(github.com)
347 points by tanelpoder | 97 comments
GitHub repository for CuPy, a NumPy- and SciPy-compatible array library for GPU-accelerated computing in Python with CUDA and ROCm support.
TScert: A Sound Core for TypeScript(github.com)
16 points by bpierre | 3 comments
GitHub repository for TScert, an independent checker with soundness proved in Lean that accepts TypeScript functions only when accompanied by a proof.
Show HN: RawLink – Building a VPN protocol from scratch(github.com)
11 points by znano | 0 comments
GitHub repository for RawLink, an experimental VPN protocol built from scratch, with an accompanying blog post explaining its design.