nyuichi/shari

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Rust
Created over 4 years ago
Updated about 1 year ago

nyuichi/shari

nyuichi

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

Shari the 🍣 prover

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

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

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