Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by nyuichi
A curated list of projects in awesome lists by nyuichi .
https://github.com/nyuichi/satysfi-base
complementary collection of useful functions and modules for SATySFi
Last synced: 08 Nov 2024
https://github.com/nyuichi/leanhol
super tiny implementation of higher-order logic proof assistant in lean
higher-order-logic lean proof-assistant
Last synced: 03 Dec 2024
https://github.com/nyuichi/r7expander
R7RS expander
scheme scheme-compiler scheme-programming-language
Last synced: 03 Dec 2024
https://github.com/nyuichi/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
Last synced: 15 Oct 2024
https://github.com/nyuichi/mruby-partcont
partial continuation (a.k.a. delimited continuation) extension for mruby
Last synced: 15 Oct 2024
https://github.com/nyuichi/chisel-brainfuck
Tiny Brainf**k CPU written in Chisel
Last synced: 03 Dec 2024
https://github.com/nyuichi/psynth
Synthesizer in python for our culture festival
Last synced: 03 Dec 2024
https://github.com/nyuichi/sandbox-testing-rs
Run rust unit tests in docker container
Last synced: 03 Dec 2024
https://github.com/nyuichi/odds-calculator
Online odds calclator for heads-up Texas hold'em poker
Last synced: 03 Dec 2024
https://github.com/nyuichi/aobench
Automatically exported from code.google.com/p/aobench
Last synced: 03 Dec 2024
https://github.com/nyuichi/xfile
customizable FILE pointer-like structure written in pure C99
Last synced: 03 Dec 2024
https://github.com/nyuichi/gauche-rscode
Reed-Solomon Coding Module for Gauche
Last synced: 03 Dec 2024
https://github.com/nyuichi/bcui-emacs
Automatically exported from code.google.com/p/bcui-emacs
Last synced: 03 Dec 2024
https://github.com/nyuichi/ralist
Purely Functional Random-Access List on C++
Last synced: 03 Dec 2024
https://github.com/nyuichi/commac
compiler macro example (http://wasabiz.hatenablog.com/entry/2012/12/18/060729)
Last synced: 03 Dec 2024
https://github.com/nyuichi/tinycgl
a tiny, portable, C++98 library for 3-dimentional computational geometry
Last synced: 03 Dec 2024
https://github.com/nyuichi/rscode-rs
modernization of https://github.com/nyuichi/gauche-rscode
Last synced: 03 Dec 2024