Lin Oshitani's repositories
okasaki-book-ocaml
Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
dune-template
A project template for OCaml + dune
games-in-ocaml
Various games written in OCaml
ocaml-algorithms
Algorithms and data structures implemented in OCaml
aws-elastic-beanstalk-express-js-sample
Sample web application for the AWS DevOps Engineer Learning Path.
Language:JavaScriptMIT-0000
Basic-Algorithms-and-Data-Structures
基礎的なアルゴリズム・データ構造
Language:C++000
competitive-programming-cpp-template
My template for competitive programming
Language:Makefile000
dev-challenges-static
HTML/CSS solutions for devchallenges.io
frontendmentor-challenges
frontendmentor.io challenge submissions
helloworld
Hello World!
000
ocamlformat
Auto-formatter for OCaml code
Language:OCamlMIT000
resume-satyh
A SATySFi class for writing resume/cv
rust-libp2p
The Rust Implementation of the libp2p networking stack.
Language:RustMIT000
shell-send-command
Send command to *shell* buffer from current buffer.
Language:Emacs Lisp000
strongInd_equals_regularInd
完全帰納法が(普通の)数学的帰納法と同値であることの証明
Language:Coq000
Language:TypeScript000