Skip to content
View navahas's full-sized avatar
🐲
🐲
  • Spain

Organizations

@culturecode-org @rust-lab-navahas

Block or report navahas

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

A shared mathematical environment without need for version control or naming synchronization.

Lean 9 Updated Mar 10, 2026

x86CSS is a working CSS-only x86 CPU/emulator/computer. No JavaScript required.

HTML 760 17 Updated Feb 26, 2026
Zig 3 Updated Mar 3, 2026

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Assembly 64,652 7,375 Updated Jan 22, 2026

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

TypeScript 22,273 2,357 Updated Mar 10, 2026

Illegal rust

Rust 1,683 45 Updated Jan 29, 2026

A working fictional user interface (FUI) inspired by the Central Operating System from the Watch Dogs universe.

QML 240 17 Updated Mar 1, 2026

Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits

Shell 1,548 119 Updated Feb 25, 2026

The most atomic way to train and inference a GPT in pure, dependency-free C

C 233 44 Updated Feb 15, 2026

microgpt.py in C

C 37 6 Updated Feb 12, 2026

You Suck at Programming - Dave Eddy

CSS 891 81 Updated Feb 22, 2026

The user-friendly command line shell.

Rust 32,906 2,243 Updated Mar 10, 2026

Modular visual interface for GDB in Python

Python 12,150 819 Updated Nov 6, 2025

Color Picker for LCH

TypeScript 1,746 106 Updated Oct 29, 2025

Todo Web Application in flat assembler

Assembly 525 21 Updated Mar 15, 2024

Elixir inspired async actor library for Rust

Rust 22 2 Updated Nov 24, 2025

Optimizing Small memory C Compiler Assembler and Runtime for C64

C++ 461 49 Updated Mar 9, 2026

Unicode-based scientific plotting for working in the terminal

Julia 1,521 81 Updated Feb 2, 2026

A next.js web application that integrates AI capabilities with draw.io diagrams. This app allows you to create, modify, and enhance diagrams through natural language commands and AI-assisted visual…

TypeScript 22,679 2,430 Updated Mar 11, 2026

Kyanos is a networking analysis tool using eBPF. It can visualize the time packets spend in the kernel, capture requests/responses, makes troubleshooting more efficient.

C 4,990 226 Updated Mar 11, 2026

⚙️🦀 Build modular and scalable LLM Applications in Rust

Rust 6,428 697 Updated Mar 10, 2026

Bitcoin Improvement Proposals

Wikitext 10,639 5,925 Updated Mar 6, 2026

A Neovim plugin that provides VSCode-style diff rendering with two-tier highlighting (line + character level) in side-by-side and inline layouts, using VSCode's algorithm implemented in C.

Lua 1,169 39 Updated Mar 11, 2026

Hands-On Network Programming with C, published by Packt

C 351 110 Updated May 5, 2025

Open Fabric Interfaces

C 767 477 Updated Mar 11, 2026

High Performance Browser Networking (O'Reilly)

HTML 317 39 Updated Jun 23, 2022

The Rust package manager

Rust 9 Updated Feb 27, 2026

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

Go 4,926 109 Updated Sep 4, 2024

QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.

Rust 254 16 Updated Oct 27, 2025
Next