woodrush

woodrush's Stars

• ggerganov/llama.cpp

  LLM inference in C/C++

  Language:C++61k5163.3k8.7k

• microsoft/MS-DOS

  The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

  Language:Assembly30.4k74804.3k

• jart/cosmopolitan

  build-once run-anywhere c library

  Language:C17.2k159524580

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.2k96173387

• xoreaxeaxeax/movfuscator

  The single instruction C compiler

  Language:C9.3k20739395

• doublespeakgames/adarkroom

  A Dark Room - A Minimalist Text Adventure

  Language:JavaScript7.1k2542541.6k

• rui314/8cc

  A Small C Compiler

  Language:C6.1k25159743

• dhaitz/mplcyberpunk

  "Cyberpunk style" for matplotlib plots

  Language:Python1.6k172468

• xorvoid/sectorc

  A C Compiler that fits in the 512 byte boot sector of an x86 machine

  Language:C1.6k19966

• saharan/works

  The code of several works on oimo.io/works

  Language:Haxe1.3k8244

• Redcrafter/verilog2factorio

  This project will compile verilog (a hardware description language) into factorio blueprints.

  Language:TypeScript7178620

• woodrush/lambda-8cc

  x86 C compiler written in untyped lambda calculus

  Language:Common Lisp6099216

• uchan-nos/mikanos

  Educational Operating System

  Language:C++5711036142

• kspalaiologos/malbolge-lisp

  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

  Language:TeX4778310

• tric/trick2022

  Language:Ruby1331301

• tromp/AIT

  Algorithmic Information Theory, using Binary Lambda Calculus

  Language:Haskell13011012

• sile/mineplacer

  Prepare for a game of Minesweeper by placing mines!

  Language:Rust120313

• nanochess/bootRogue

  bootRogue, a roguelike game that fits in a boot sector (510 bytes)

  Language:Assembly100916

• doshidak/showdex

  Pokémon Showdown extension that harnesses the power of parabolic calculus to strategically extract your opponents' Elo.

  Language:TypeScript89517614

• masuda220/jr-pricing

  Language:Java471013

• woodrush/lambdavm

  A programmable virtual CPU written in untyped lambda calculus

  Language:Common Lisp46403

• pkmn/randbats

  Pokémon Showdown's Random Battle sets

  Language:JavaScript283713

• takanuva/cps

  A formalization of continuation-passing style calculi in Coq [WIP]

  Language:Coq24100

• coq-community/coqoban

  Sokoban (in Coq) [maintainer=@erikmd]

  Language:Coq211022

• meatfighter/tetromino-computer

  Language:HTML18100

• youz/grasses

  Various implementations of 'Grass' the grass-planting programming language

  Language:D7200

• shamblesides/hypersleep

  Technically, this does exactly what sleep does but completes much faster!

  Language:Rust4200

• youz/8cc-sqlite3

  C Compiler written in SQL (for SQLite3)

  Language:Ruby3200

• youz/Grass_on_Grass

  A self-hosted Grass language interpreter

  Language:OCaml3200

• yugodenki/td4-emulator-on-nes

  Language:Assembly1