Pinned Repositories
annoying-semicolon
An IntelliJ plugin to avoid producing Kotlin code with lots of unnecessary semicolons when you let your C++ or Java friends write Kotlin code unsupervised
cargo-swift
A cargo plugin to easily build Swift packages from Rust code
dioxus-use-request
Simple GET request hook for Dioxus
galvan-lang
WIP: A higher-level companion language to Rust
rocket-modules
route modules for Rocket
tauri-bindgen-ts
WIP: Generate Typescript bindings to Rust types and functions in a Tauri app
tree-sitter-galvan
A tree-sitter grammar for the galvan programming language
typeunion
Macro to declare type unions in Rust
wtf-lang
wtf?
goto-spec
Language design draft for the Goto programming language
antoniusnaumann's Repositories
antoniusnaumann/cargo-swift
A cargo plugin to easily build Swift packages from Rust code
antoniusnaumann/dioxus-use-request
Simple GET request hook for Dioxus
antoniusnaumann/galvan-lang
WIP: A higher-level companion language to Rust
antoniusnaumann/wtf-lang
wtf?
antoniusnaumann/rocket-modules
route modules for Rocket
antoniusnaumann/tauri-bindgen-ts
WIP: Generate Typescript bindings to Rust types and functions in a Tauri app
antoniusnaumann/tree-sitter-galvan
A tree-sitter grammar for the galvan programming language
antoniusnaumann/typeunion
Macro to declare type unions in Rust
antoniusnaumann/defiant-keyboard
A wireless, low-profile spit keyboard using Gateron KS-33 switches and a Seedstudio Xiao MCU
antoniusnaumann/defiant-zmk
ZMK configuration for the Defiant keyboard
antoniusnaumann/tree-sitter-wtf
antoniusnaumann/anatole-zola
Port of Anatole theme for farbox to Zola.
antoniusnaumann/dachterasse
WIP: Rust crate for scraping the HPI lecture overview site
antoniusnaumann/galvan-hello-world
A playground project to test out the Galvan programming language
antoniusnaumann/galvan-vscode
TextMate bundles that provide basic code highlighting for Galvan in VScode and JetBrains IDEs
antoniusnaumann/gangplank
Tiny utils collection to deal platform-dependent implementations in Swift
antoniusnaumann/ghostty-config
My personal config for the ghostty terminal emulator (https://ghostty.org) including a custom theme
antoniusnaumann/helix
A post-modern modal text editor.
antoniusnaumann/helix-config
My personal config for the helix editor (https://helix-editor.com) including a custom theme
antoniusnaumann/keyboard
My QMK keymaps
antoniusnaumann/lazyvim-config
My neovim config using lazyvim
antoniusnaumann/nvim-config
My neovim config, roughly based on kickstart.nvim (https://github.com/nvim-lua/kickstart.nvim)
antoniusnaumann/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
antoniusnaumann/ricktastic
An app to rate your favorite Rick & Morty episodes. Build to test and evaluate Flutter for Mobile, Desktop and Web.
antoniusnaumann/swift-bridge
swift-bridge facilitates Rust and Swift interop.
antoniusnaumann/tree-sitter-type
Tree-Sitter grammar for the Type schema language
antoniusnaumann/type-lang
A serialization schema language for strongly typed languages
antoniusnaumann/vite-threejs-ts-starter
A basic THREE.js project in TypeScript with Vite. Includes OrbitControls, Stats and basic shadows.
antoniusnaumann/vow
A (toy) project where I build some reactive primitives around V UI
antoniusnaumann/zmk
ZMK Firmware Repository