nyuichi/umesh nyuichi/umesh

  • Stars
    star
    3
  • Rank 3,944,206 (Top 79 %)
  • Language
    C
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nyuichi/umesh
github

nyuichi

Reviews

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

Repository Details

Lightweight shell in 10 days

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

xhash

super tiny hash table
C
5
star
16

chisel-brainfuck

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

xrope

rope data structure
C
3
star
18

picrin-old

C++
3
star
19

xjit

dynamic x86_64 code generator for c99
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