Skip to content
View v-nys's full-sized avatar

Block or report v-nys

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

🦀 Nicer Rust diagnostics for Neovim

Lua 94 Updated Dec 4, 2025

Convert ROS package.xml to package.nix

Python 40 4 Updated Dec 23, 2025

ROS overlay for the Nix package manager

Nix 334 110 Updated Dec 22, 2025

Simple early proof of concept C++ robot simulation using Godot.

C++ 4 2 Updated Oct 27, 2025

A small Bevy project that procedurally generates a 2D pixel art landscape.

Rust 76 4 Updated Nov 28, 2025

Keep track of your 💵, 🕘, 🐖, 🐄, 🍻 on your command line with the plain text accounting tool of the future! 🚀

PureScript 653 18 Updated Oct 20, 2025

An unofficial Cookbook for PureScript

PureScript 206 29 Updated Aug 21, 2023

PureScript core tools in Nix

PureScript 62 15 Updated Dec 17, 2025

❄️ Small exercises to get you used to reading and writing Nix code!

Nix 40 Updated Feb 3, 2023

debug failing nix-build in interactive bash shell

Shell 12 Updated Nov 8, 2025

A nix service that runs docker-compose.yaml files included in your nix config repo.

Nix 2 Updated Aug 11, 2025

A Nix Flake for Webots R2023b

Nix 3 1 Updated Aug 25, 2024
Python 1 Updated Jun 6, 2025

Godot module to use ROS 2 within Godot

C++ 108 15 Updated Mar 17, 2025

Sources, Links and Information on using the Godot Game Engine in Robotics

14 1 Updated Apr 4, 2025

📁 An example of the Drag-and-drop API with miso

Haskell 3 Updated Dec 16, 2025

A declarative Unix terminal UI library written in Haskell

Haskell 1,688 170 Updated Oct 17, 2025

Freely licensed training material for the Nix expression language and ecosystem. Contact me to book on-site and remote training sessions

Nix 73 5 Updated Jan 31, 2023
Lua 75 1 Updated Jan 3, 2025

Webots Robot Simulator

C++ 3,994 1,946 Updated Dec 23, 2025

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Haskell 5,180 212 Updated Dec 17, 2025

Nix and Haskell in production

Nix 1,168 112 Updated Sep 22, 2023

A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

HTML 489 57 Updated Dec 22, 2025

Visualizing DAGs in terminals

Python 10 Updated Aug 19, 2022

💯 A collection of Gleam libraries, projects, and resources

Gleam 1,843 101 Updated Oct 19, 2025

An ahead-of-time JavaScript compiler

JavaScript 4,396 96 Updated Nov 26, 2025

JS to WebAssembly toolchain

Rust 2,619 125 Updated Dec 10, 2025

This project utilizes the MediaPipe library to create a real-time posture monitoring system using a webcam or video.

Python 15 12 Updated Feb 8, 2024

This is the companion repo for the DevOps Directive "Kubernetes: Beginner to Pro" course!

Smarty 1,666 726 Updated Oct 6, 2025

Python microframework for modular monoliths and loosely coupled apps

Python 204 6 Updated Jan 2, 2025
Next