• Stars
    star
    5
  • Rank 2,847,302 (Top 57 %)
  • Language
    C
  • License
    BSD 2-Clause "Sim...
  • Created almost 11 years ago
  • Updated almost 10 years ago

Reviews

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

Repository Details

super tiny hash table

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

r7expander

R7RS expander
Scheme
15
star
7

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
8

chisel-uart

Uart module written in chisel
Scala
11
star
9

dash

Debian Almquist shell
C
11
star
10

mruby-partcont

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

lisp.jsx

traditional lisp on jsx
JavaScript
7
star
12

homebrew-satysfi

Ruby
6
star
13

rhhash.h

Generic Hashtable Implementation in C
C
5
star
14

shari

Shari the 🍣 prover
Rust
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