arm

Deploy SwiftUI iOS apps to physical iPhones from Omarchy Linux via USB, without Xcode or macOS.

Optimized multi-platform Amiga emulator

A version of the Lisp programming language for ARM-based boards.

Build decoder-only language models from scratch using a complete pipeline, tokenizer, transformer architecture, and training framework.

Automate your JDownloader 2 installation with this streamlined setup tool for Windows. Get full access to multi-host downloads and captcha solving without configuration.

Build GD32F30x firmware using CMake and Visual Studio Code with a pre-configured Docker container. No local toolchain setup required.

Homelab on a low power ARM k3s cluster

Bare-metal preemptive round-robin task scheduler on STM32F407 Cortex-M4 — custom startup, linker script, PendSV context switching, SysTick — no HAL, no RTOS

🔧 Drive an RP2350 1602 LCD with this Assembler-based solution for Raspberry Pi Pico, enhancing your reverse engineering projects effortlessly.

🔍 Explore QEMU CPU models for KVM guests to enhance performance in single-node homelab setups with AVX2-capable processors.

🌐 Rethink Multimodal Large Language Models design and scaling under data constraints with NaViL, enhancing efficiency and performance through Native Training.

🤖 Enhance your coding efficiency with SPARC, a command-line AI assistant that executes code, manages files, and visualizes architecture seamlessly.

📦 Simplify application management with CASM, your solution for streamlined deployment and orchestration across different environments.

Cross-compile toolchain with Clang and musl (or gnu) libc

Synth — WebAssembly-to-native compiler for ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32, and AArch64, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of the PulseEngine toolchain.

The portable version of JetBrains profiler self API for .NET Framework / .NET Core / .NET / .NET Standard

iOS/Android translation layer for the desktop

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

The .NET library to detect OS and process environment

Research systems language and Linux-ABI-compatible kernel exploring compile-time checks for kernel failures with refinement types and affine ownership. Runs Alpine BusyBox on QEMU/AArch64 and Raspberry Pi 5. Compiler: OCaml + LLVM.