Beast code in Giters

yuchiki's repositories

fstar_sample_repository

Language:Makefile100

cli-guidelines

A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

Language:CSSCC-BY-SA-4.0000

calc

Language:Go000

newpc-test2

000

newpc-test

000

parser

Language:Rust000

mattix

Mattix is a board game born in Israel.

NOASSERTION000

leap-year

Language:Rust000

bitonic-sorter

Language:Rust000

paralell

Language:Rust000

so-spicy-pot

激辛鍋レシピ

000

csmonad

Language:C#200

typedMiniLang

Language:HaskellBSD-3-Clause200

semantics-memo

Language:Makefile000

hub

A command-line tool that makes git easier to use with GitHub.

MIT000

contest

Language:C++000

YuchiKaml

Toy Language Interpreter using Sprache

Language:C#100

YuchiKaml_Document

Document of YuchKaml

Language:TeX100

9cc

Language:C000

SKI

Repl of SKI combinator reducer

Language:HaskellBSD-3-Clause100

water

Language:C++000

react-tutorial

Language:JavaScript000

infinite

Language:C#000

NatIsomorphisms

Language:F*000

number

Language:F*000

algorithms

Language:C#100

monad

Monads written in C#

Language:C#000

random_kana

Language:C#000

phone_change

Language:Ruby000

BasicDefinitions

Language:C#000