Lists (3)
Stars
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting appl…
Develop desktop apps with native UI or web frontend in Go
GPUI extracted from the Zed monorepo as a standalone workspace, with the layout engine reworked to keep what did not change between frames
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Yet Another Unity UI: a fast, Flexbox-based UI system on GameObjects.
longbridge / gpui-mobile
Forked from itsbalamurali/gpui-mobileMobile platform support for GPUI — iOS (wgpu/Metal) and Android (wgpu/Vulkan)
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
SharpLsp brings the complete .NET development experience to every editor in C# and F#
Node.js & Bun bindings for Zed’s GPUI. Build memory efficient native apps with React or Solid.js
An AOT .NET-to-C++ transpiler — where NativeAOT meets IL2CPP — with a native drop-in for Godot's Mono module
🖊️ Extensions to ImageSharp containing a cross-platform 2D polygon manipulation API and drawing operations.
Web components. Native performance. Run packaged React, TypeScript, and JavaScript components in native application frameworks through a high-performance scene pipeline—no WebView or embedded brows…
Cross-platform .NET performance engineering skill for coding agents, covering CPU, memory, GC, benchmarking, concurrency, startup, native profiling, GPU rendering, and production diagnostics on mac…
Cross-platform GPU rendering, composition, vector, text, compute, and DirectX/LibreWPF/WinUI/Avalonia interop on WebGPU and Silk.NET.
A modern, cross-platform, 2D Graphics library for .NET
A high performance rust-powered UI layout library
A native PTY-backed terminal for the Unity Editor on macOS/Windows, rendered by a Rust/wgpu engine.
XenoAtom.Terminal.UI is a modern, reactive retained-mode terminal UI framework for .NET
A modern, cross platform IDE for .NET, built with .NET & Godot
Reactor is an experimental set of extensions to WinUI
CSharpier is an opinionated code formatter for c#.