Ada language server configuration for Neovim's LSP

Neovim plugin for configuring ALS via LSP, allowing you to select the GPR project to use.

A blazing fast and easy to configure neovim statusline plugin written in pure lua.

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

A snazzy bufferline for Neovim

Retro groove color scheme for Vim - community maintained edition

Get ship telemetry data from X4:Foundations to connect to your home cockpit

Easily build and run CHERI related projects

Alire index for xtensa LX7 toolchain

⏳because we ain't got no thyme

Autotyler on HTML5 and JS

Suika game clone with programing languages

Purpose-built, Rust-native software engine for robotics

An asynchronous linter plugin for Neovim complementary to the built-in Language Server Protocol support.

Split your file into encrypted fragments so that you don't need to remember a passcode

Easy to use device for connecting "old" measuring units (water, power, gas, ...) to the digital world

A Neural Network implemented from scratch (using only numpy) in Python.

Render markdown on the CLI, with pizzazz! 💅🏻

Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues

My custom PCB business card

A fully compliant RISC-V computer made inside the game Terraria

Code to support my autonomous foosball playing robot

RIOT-rs is an operating system for secure, memory-safe, low-power Internet of Things, written in Rust

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

SponsorBlock client for all YouTube TV clients.

Verified Rust for low-level systems code

Over 550 flashcards to learn Rust from first principles. Written in markdown with script to convert them to an Anki deck or PDF file.

🧟 Inject bugs and see if your tests catch them!