Beast code in Giters

yuchiki's repositories

weather

Language:C#000

dotnet_app_installer

Language:Shell000

zundoko

Language:C#100

type_safe_builder

http://yuchiki1000yen.hatenablog.com/entry/2018/07/31/112317

Language:C#000

sort_in_fstar

Language:Makefile000

diacriner

Language:Ruby000

gcd

implementation of gcd function in fstar.

Language:Makefile100

bf_interpreter

An interpreter of Brainfuck

Language:Rust000

PropLogic

Language:C#100

yuchiki.net

my website

Language:CSS000

cpp

C PreProcessor Calculus

Language:C000

carinasim

Language:C#000

kittens

000

sample_of_ocamllex_and_ocamlyacc

Simplest Compiler written with OCamllex

Language:OCaml000

laml

providing a light-weight notation for LaTex

Language:HaskellBSD-3-Clause200

laml-highlighter

A laml syntax highlighter for Visual Studio Code

000

arabify

Replace all hiraganas and katakanas in tweets you see into Arabic Letters

Language:JavaScript000

groebnerBasis

Calculate the groebner basis of polynomial expressions

Language:HaskellBSD-3-Clause000

wikiCUI

shell command to search wikipedia in multiple languages

Language:Ruby000