nyuichi/sandbox-testing-rs

Stars
1
Language
Rust
Created about 3 years ago
Updated about 3 years ago

nyuichi/sandbox-testing-rs

nyuichi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Run rust unit tests in docker container

xv6

xv6 porting to GAIA architecture

satysfi-base

complementary collection of useful functions and modules for SATySFi

GAIA3

gc.h

Header-only Non-moving & Precise GC for C

LeanHOL

super tiny implementation of higher-order logic proof assistant in lean

r7expander

yabai-sat

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance

chisel-uart

Uart module written in chisel

dash

Debian Almquist shell

mruby-partcont

partial continuation (a.k.a. delimited continuation) extension for mruby

lisp.jsx

traditional lisp on jsx

homebrew-satysfi

rhhash.h

Generic Hashtable Implementation in C

shari

Shari the 🍣 prover

xhash

super tiny hash table

chisel-brainfuck

Tiny Brainf**k CPU written in Chisel

picrin-old

xrope

rope data structure

xjit

dynamic x86_64 code generator for c99

umesh

Lightweight shell in 10 days

NLisp

Simple Scheme Interpreter

Kaguya

Launcher

A Simple Game Launcher

benz-gaia

printf

any.h

yield-closures

An implementation of MCP-49

PSynth

Synthesizer in python for our culture festival

aobench-on-r7rs-scheme

aobench on r7rs scheme

httpserver.c

bitvisor