nyuichi/satysfi-base nyuichi/satysfi-base

  • Stars
    star
    31
  • Rank 815,582 (Top 17 %)
  • Language
    JavaScript
  • License
    MIT License
  • Created about 5 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nyuichi/satysfi-base
github

nyuichi

Reviews

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

Repository Details

complementary collection of useful functions and modules for SATySFi

More Repositories

1

xv6

xv6 porting to GAIA architecture
C
46
star
2

GAIA3

GAIA Processor
VHDL
25
star
3

gc.h

Header-only Non-moving & Precise GC for C
C
21
star
4

LeanHOL

super tiny implementation of higher-order logic proof assistant in lean
Lean
20
star
5

r7expander

R7RS expander
Scheme
15
star
6

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
C++
12
star
7

chisel-uart

Uart module written in chisel
Scala
11
star
8

dash

Debian Almquist shell
C
11
star
9

mruby-partcont

partial continuation (a.k.a. delimited continuation) extension for mruby
C
8
star
10

lisp.jsx

traditional lisp on jsx
JavaScript
7
star
11

homebrew-satysfi

Ruby
6
star
12

rhhash.h

Generic Hashtable Implementation in C
C
5
star
13

shari

Shari the 🍣 prover
Rust
5
star
14

xhash

super tiny hash table
C
5
star
15

chisel-brainfuck

Tiny Brainf**k CPU written in Chisel
Scala
4
star
16

xrope

rope data structure
C
3
star
17

picrin-old

C++
3
star
18

xjit

dynamic x86_64 code generator for c99
C++
3
star
19

umesh

Lightweight shell in 10 days
C
3
star
20

NLisp

Simple Scheme Interpreter
Python
3
star
21

Kaguya

prolog
Haskell
2
star
22

Launcher

A Simple Game Launcher
Java
2
star
23

benz-gaia

C
2
star
24

printf

C
1
star
25

sandbox-testing-rs

Run rust unit tests in docker container
Rust
1
star
26

any.h

C++
1
star
27

yield-closures

An implementation of MCP-49
Rust
1
star
28

PSynth

Synthesizer in python for our culture festival
Python
1
star
29

aobench-on-r7rs-scheme

aobench on r7rs scheme
C
1
star
30

httpserver.c

C
1
star
31

bitvisor

C
1
star