8000 kartva (Kart) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View kartva's full-sized avatar

Organizations

@unicode-org

Block or report kartva

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

was bored on the plane, made a quick game :D (recommended to play on small screen)

JavaScript 2 Updated Dec 24, 2024

A browser-based, WebGL2 implementation of GPT-2 with transform block and attention matrix visualization

TypeScript 318 9 Updated May 2, 2025

Unique story-based puzzle game blending inductive reasoning, cryptography and assembly programming. Apply for an engineering role at Subrose Systems today!

TypeScript 4 Updated May 7, 2025
Jupyter Notebook 4 Updated Jan 16, 2024

A simple but fully-functional Striking Clock firmware for the Raspberry Pi Pico W, written in Zig, using Arduino-Pico and PlatformIO.

Zig 18 1 Updated Sep 26, 2023

firmware and GUI for pen plotters

C++ 2 Updated Apr 15, 2025

A new (and hopefully improved) linter for Purdue's CS 240 course

Rust 10 1 Updated May 18, 2025

A minimal GPU design in Verilog to learn how GPUs work from the ground up

SystemVerilog 8,387 647 Updated Aug 18, 2024

Use the reMarkable2 as an interface to vision-LLMs (ChatGPT, Claude, Gemini). Ghost in the machine!

Rust 456 18 Updated May 17, 2025

AI chat assistant for Obsidian with contextual awareness, smart writing assistance, and one-click edits. Features vault-aware conversations, semantic search, and local model support.

TypeScript 1,500 95 Updated May 1, 2025

The human-friendly Rubik's cube computer (WIP)

Rust 29 1 Updated May 26, 2025

A high-performance, parallel, compilation-based symbolic execution engine

Java 130 5 Updated May 23, 2025

Free, open-source community platform, decentralized alternative to Big Tech. For apps that empower people and unite communities.

JavaScript 11 4 Updated May 27, 2025

Mash! your keyboard to make your internet better - installation at Purdue Hackers' BURST

Rust 42 Updated Feb 16, 2025

Tuna: A Chunk-based Lightweight AutoTuna

C 2 Updated Jan 15, 2022

Concurrent Programming with Effect Handlers

OCaml 684 36 Updated Jul 5, 2024

a proof-of-concept programming language based on call-by-push-value

Rust 53 2 Updated May 29, 2025

The PERPL Compiler

Haskell 13 6 Updated Apr 30, 2025

Learn make by example

SCSS 5,290 262 Updated Jan 1, 2025

The Best Library: a C++ STL replacement

C++ 194 4 Updated Feb 27, 2025

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Scala 44 1 Updated Mar 9, 2025

Precision Time Protocol (PTP) for Wi-Fi

C 62 7 Updated Jul 1, 2024

A modern supercompiler for call-by-value functional languages

OCaml 414 9 Updated Apr 19, 2025

Minecraft mod about drawing spells

Java 158 94 Updated Apr 2, 2025

drag & drop git editing from the comfort of your terminal

C 289 4 Updated Apr 21, 2025

minimal cross-platform standalone C headers

C 8,276 564 Updated May 29, 2025

From the Transistor to the Web Browser, a rough outline for a 12 week course

6,199 483 Updated Oct 12, 2021

Rust String Libraries by mcyoung

Rust 187 2 Updated Jan 27, 2025

sched_ext schedulers and tools

C 1,274 142 Updated May 29, 2025
Next
0