Hikaru Ikuta (woodrush)

woodrush

Geek Repo

Company:The University of Tokyo

Location:Tokyo, Japan

Home Page:woodrush.github.io

Twitter:@woodrush924

Github PK Tool:Github PK Tool


Organizations
manga109

Hikaru Ikuta's starred repositories

cosmopolitan

build-once run-anywhere c library

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10046Issues:97Issues:158

movfuscator

The single instruction C compiler

Language:CLicense:NOASSERTIONStargazers:9227Issues:206Issues:39

adarkroom

A Dark Room - A Minimalist Text Adventure

Language:JavaScriptLicense:MPL-2.0Stargazers:7052Issues:253Issues:252

8cc

A Small C Compiler

sectorc

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

Language:CLicense:CC0-1.0Stargazers:1602Issues:19Issues:9

lambda-8cc

x86 C compiler written in untyped lambda calculus

Language:Common LispLicense:MITStargazers:610Issues:9Issues:2

lambdalisp

A Lisp interpreter written in untyped lambda calculus

Language:Common LispLicense:MITStargazers:225Issues:3Issues:3

doublehelix

doublehelix obfuscates Ruby codes in Double-helix style

AIT

Algorithmic Information Theory, using Binary Lambda Calculus

Language:HaskellStargazers:128Issues:11Issues:0
Language:C++License:GPL-3.0Stargazers:118Issues:0Issues:0

mineplacer

Prepare for a game of Minesweeper by placing mines!

Language:RustLicense:Apache-2.0Stargazers:118Issues:3Issues:1

bootRogue

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

Language:AssemblyLicense:BSD-2-ClauseStargazers:100Issues:9Issues:1

showdex

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

Language:TypeScriptLicense:AGPL-3.0Stargazers:87Issues:5Issues:173

wordle

Finding optimal play in the game of wordle

Language:C++License:MITStargazers:50Issues:3Issues:6
Language:JavaStargazers:47Issues:1Issues:0

lambdavm

A programmable virtual CPU written in untyped lambda calculus

Language:Common LispLicense:MITStargazers:46Issues:4Issues:0

binary-lambda-calculus

For exploring http://www.ioccc.org/2012/tromp/hint.html

Language:HTMLStargazers:31Issues:4Issues:0

randbats

Pokémon Showdown's Random Battle sets

Language:JavaScriptLicense:MITStargazers:28Issues:3Issues:7

poemy2

poemy (a poetry generator) rewritten in C++

Language:C++Stargazers:24Issues:7Issues:0

cps

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

Language:CoqLicense:BSD-3-ClauseStargazers:24Issues:0Issues:0

lambdacraft

Common Lisp DSL for building untyped lambda calculus expressions

Language:Common LispLicense:MITStargazers:23Issues:4Issues:0
Language:HTMLLicense:LGPL-2.1Stargazers:18Issues:1Issues:0

grasses

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

Language:DStargazers:7Issues:2Issues:0
Language:PythonLicense:MITStargazers:4Issues:0Issues:0

hypersleep

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

Language:RustStargazers:4Issues:2Issues:0

8cc-sqlite3

C Compiler written in SQL (for SQLite3)

Language:RubyLicense:MITStargazers:3Issues:2Issues:0

Grass_on_Grass

A self-hosted Grass language interpreter

Language:OCamlLicense:MITStargazers:3Issues:2Issues:0

omni-converter

Convert any data format easily based on user defined rules!

Language:PythonLicense:MITStargazers:2Issues:2Issues:0