-
University of Tokyo & Idein Inc.
- Tokyo, Japan
- http://hagi.is.s.u-tokyo.ac.jp/~yuichi
Block or Report
Block or report nyuichi
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
satysfi-base Public
complementary collection of useful functions and modules for SATySFi
-
-
msgpack-schema Public
Forked from Idein/msgpack-schemaA specification language for MessagePack data schema
Rust MIT License UpdatedJun 7, 2023 -
-
-
r7expander Public
R7RS expander
-
rscode-rs Public
modernization of https://github.com/nyuichi/gauche-rscode
Rust UpdatedAug 10, 2021 -
runtime-spec Public
Forked from opencontainers/runtime-specOCI Runtime Specification
Go Apache License 2.0 UpdatedApr 26, 2021 -
yabai-sat Public
sat solver; backtrack BCP non-chronological backtracking (linear-time) CDCL 2WL eVSIDS luby restarts phase saving trail reuse (full) conflict clause minimization in-process simp…
-
satyrographos-repo Public
Forked from na4zagin3/satyrographos-repoCustom OPAM repository for SATySFi libraries managed by Satyrographos
UpdatedDec 27, 2020 -
-
odds-calculator-1 Public
Forked from b-inary/odds-calculatorOnline odds calclator for heads-up Texas hold'em poker
Vue UpdatedNov 26, 2020 -
-
odds-calculator Public
Online odds calclator for heads-up Texas hold'em poker
Vue UpdatedNov 22, 2020 -
dockworker Public
Forked from Idein/dockworkerDocker daemon API client in Rust
Rust UpdatedNov 17, 2020 -
-
The Go programming language
Go BSD 3-Clause "New" or "Revised" License UpdatedOct 18, 2019 -
LeanHOL Public
super tiny implementation of higher-order logic proof assistant in lean
-
railcar Public
Forked from oracle/railcarRailCar: Rust implementation of the Open Containers Initiative oci-runtime
Rust Other UpdatedSep 26, 2019 -
-
SATySFi Public
Forked from gfngfn/SATySFiA statically-typed, functional typesetting system
OCaml GNU Lesser General Public License v3.0 UpdatedFeb 27, 2019 -
-
-
-
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedAug 23, 2018 -
-
-