nyuichi/dash

Stars
11
Rank 1,685,707 (Top 34 %)
Language
C
License
Other
Created almost 11 years ago
Updated almost 11 years ago

nyuichi/dash

nyuichi

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

Debian Almquist shell

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

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

xrope

rope data structure

picrin-old

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

sandbox-testing-rs

Run rust unit tests in docker container

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