• Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Scheme
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 3 years ago

Reviews

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

Repository Details

R7RS expander

More Repositories

1

xv6

xv6 porting to GAIA architecture
C
46
star
2

satysfi-base

complementary collection of useful functions and modules for SATySFi
JavaScript
31
star
3

GAIA3

GAIA Processor
VHDL
25
star
4

gc.h

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

LeanHOL

super tiny implementation of higher-order logic proof assistant in lean
Lean
20
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

picrin-old

C++
3
star
17

xrope

rope data structure
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