Discover nyuichi/yabai-sat Open Source project

Stars
12
Rank 1,597,372 (Top 32 %)
Language
C++
Created about 6 years ago
Updated almost 4 years ago

nyuichi

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

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

xv6

xv6 porting to GAIA architecture

satysfi-base

complementary collection of useful functions and modules for SATySFi

JavaScript

GAIA3

GAIA Processor

VHDL

gc.h

Header-only Non-moving & Precise GC for C

LeanHOL

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

Lean

r7expander

R7RS expander

Scheme

chisel-uart

Uart module written in chisel

Scala

dash

Debian Almquist shell

mruby-partcont

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

lisp.jsx

traditional lisp on jsx

JavaScript

homebrew-satysfi

Ruby

rhhash.h

Generic Hashtable Implementation in C

shari

Shari the 🍣 prover

Rust

xhash

super tiny hash table

chisel-brainfuck

Tiny Brainf**k CPU written in Chisel

Scala

picrin-old

C++

xrope

rope data structure

xjit

dynamic x86_64 code generator for c99

C++

umesh

Lightweight shell in 10 days

NLisp

Simple Scheme Interpreter

Python

Kaguya

prolog

Haskell

Launcher

A Simple Game Launcher

Java

benz-gaia

printf

sandbox-testing-rs

Run rust unit tests in docker container

Rust

any.h

C++

yield-closures

An implementation of MCP-49

Rust

PSynth

Synthesizer in python for our culture festival

Python

aobench-on-r7rs-scheme

aobench on r7rs scheme

httpserver.c

bitvisor

nyuichi/yabai-sat

nyuichi

Reviews

Repository Details

More Repositories