nyuichi/LeanHOL

Stars
20
Rank 1,121,974 (Top 23 %)
Language Lean
Created almost 6 years ago
Updated about 5 years ago

nyuichi/LeanHOL

nyuichi

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

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

xv6

xv6 porting to GAIA architecture

satysfi-base

complementary collection of useful functions and modules for SATySFi

GAIA3

gc.h

Header-only Non-moving & Precise GC for C

r7expander

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

chisel-uart

Uart module written in chisel

dash

Debian Almquist shell

mruby-partcont

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

lisp.jsx

traditional lisp on jsx

homebrew-satysfi

rhhash.h

Generic Hashtable Implementation in C

shari

Shari the 🍣 prover

xhash

super tiny hash table

chisel-brainfuck

Tiny Brainf**k CPU written in Chisel

picrin-old

xrope

rope data structure

xjit

dynamic x86_64 code generator for c99

umesh

Lightweight shell in 10 days

NLisp

Simple Scheme Interpreter

Kaguya

Launcher

A Simple Game Launcher

benz-gaia

printf

sandbox-testing-rs

Run rust unit tests in docker container

any.h

yield-closures

An implementation of MCP-49

PSynth

Synthesizer in python for our culture festival

aobench-on-r7rs-scheme

aobench on r7rs scheme

httpserver.c

bitvisor