Giters
Mtv Europe (mtve)

mtve

Geek Repo

51

followers

45

following

6k

stars

Home Page:http://frox25.no-ip.org/~mtve/

Github PK Tool:Github PK Tool

Mtv Europe's starred repositories

mise

dev tools, env vars, task runner

Language:RustLicense:MITStargazers:7353Issues:23Issues:915

tiny-gpu

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

Language:SystemVerilogStargazers:6404Issues:62Issues:19

shan-shui-inf

Procedurally generated Chinese landscape painting.

Language:HTMLLicense:MITStargazers:5470Issues:72Issues:12

eggos

A Go unikernel running on x86 bare metal

Language:GoLicense:MITStargazers:2205Issues:50Issues:43

NyuziProcessor

GPGPU microprocessor architecture

Language:CLicense:Apache-2.0Stargazers:1951Issues:140Issues:168

tiny-world-map

tinyworldmap is a tiny world map for offline-first and low-bandwidth web apps

Language:HTMLLicense:ODbL-1.0Stargazers:1354Issues:7Issues:11

98

💿 Web-based Windows 98 desktop recreation █████▓█▓▓▒▓▒▒░▒░░░🗕︎🗗︎🗙︎

Language:JavaScriptStargazers:1081Issues:25Issues:41

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1067Issues:39Issues:370

pgcopydb

Copy a Postgres database to a target Postgres server (pg_dump | pg_restore on steroids)

Language:CLicense:NOASSERTIONStargazers:1050Issues:16Issues:273

snake

A minimal snake in assembly

Language:AssemblyLicense:MITStargazers:823Issues:7Issues:10

z80-open-silicon

Z80 open-source silicon clone. Goal is to become a silicon proven, pin compatible, open-source replacement for classic Z80.

Language:VerilogLicense:Apache-2.0Stargazers:550Issues:30Issues:5

q5xjs

A small and fast alternative (experimental) implementation of p5.js

Language:JavaScriptLicense:UnlicenseStargazers:527Issues:19Issues:19

NAND

NAND is a logic simulator suite made entirely from NAND gates

Language:TypeScriptLicense:MITStargazers:515Issues:5Issues:0

lean

Lean 3 Theorem Prover (community fork)

Language:C++License:Apache-2.0Stargazers:433Issues:29Issues:204

uacme

ACMEv2 client written in plain C with minimal dependencies

Language:CLicense:GPL-3.0Stargazers:417Issues:14Issues:50

pgcompacttable

Language:PerlLicense:BSD-3-ClauseStargazers:301Issues:27Issues:39

calculus-made-easy

HTML conversion of a great beginner calculus book

Language:HTMLStargazers:245Issues:7Issues:5

umurmur

Minimalistic Murmur

Language:CLicense:BSD-3-ClauseStargazers:240Issues:22Issues:101

lean4-metaprogramming-book

Language:LeanLicense:Apache-2.0Stargazers:203Issues:10Issues:37

spiral-software

Public source repository for the SPIRAL project

Language:ShellLicense:NOASSERTIONStargazers:185Issues:14Issues:10

solitaire

Step into a nostalgic world with this homage to the classic Solitaire from Windows 95. Experience the same addictive gameplay, now refined for a flawless journey. Immerse yourself in the timeless charm of this beloved card game, brought back to life for new and old players alike.

Language:JavaLicense:MITStargazers:159Issues:2Issues:169

qc64

Quantum Computing on the Commodore64

Language:BASICLicense:MITStargazers:145Issues:5Issues:7

schema

Overture Maps Schema

Language:PythonStargazers:113Issues:54Issues:13

freebee

FreeBee - AT&T 3B1 / 7300 UNIX PC emulator

Language:CLicense:GPL-3.0Stargazers:110Issues:9Issues:25

emu80v4

Emu80 emulator v.4 source code

Language:C++License:GPL-3.0Stargazers:63Issues:7Issues:9

con-nf

A formal consistency proof of Quine's set theory New Foundations

Language:LeanStargazers:56Issues:17Issues:24

fc8-compression

A simple LZ77-based compression with fast decompression on 68K and other legacy hardware

Language:CStargazers:37Issues:4Issues:1

dialogic-compagnon

Tools to decode SS7 messages from Dialogic SS7 stack

Language:PythonStargazers:26Issues:5Issues:1

MiteCPU

Minimal microprocessor

Language:PythonLicense:Apache-2.0Stargazers:17Issues:4Issues:0

klauslang

Klaus programming language (backup of https://gitflic.ru/project/czaerlag/klauslang)

Language:PascalLicense:GPL-3.0Stargazers:4Issues:0Issues:0