Pinned Repositories
amplify-js
A declarative JavaScript library for application development using cloud services.
book-understanding-computation-in-haskell
「アンダースタンディング コンピュテーション」を Haskell でやってみた
BottomUpDDD-kotlin
nrsさんの「ボトムアップドメイン駆動設計」を自分で書いて理解するための学習用コード
docker-gradle-kotlin-vscode
All-in-one container for TDD/Pair programming/Mob programming with Kotlin
my-deep-learning-from-scratch-in-haskell
too-many-lists
Learn Rust by writing Entirely Too Many linked lists
spinylobster's Repositories
spinylobster/my-deep-learning-from-scratch-in-haskell
spinylobster/too-many-lists
Learn Rust by writing Entirely Too Many linked lists
spinylobster/book-understanding-computation-in-haskell
「アンダースタンディング コンピュテーション」を Haskell でやってみた
spinylobster/docker-gradle-kotlin-vscode
All-in-one container for TDD/Pair programming/Mob programming with Kotlin
spinylobster/amplify-js
A declarative JavaScript library for application development using cloud services.
spinylobster/BottomUpDDD-kotlin
nrsさんの「ボトムアップドメイン駆動設計」を自分で書いて理解するための学習用コード
spinylobster/ConcreteSemantics.lean
「Concrete Semantics」を Lean で読むノート
spinylobster/Coqex2014
Coq演習2014 http://qnighy.github.io/coqex2014/
spinylobster/golang-notes
Go source code analysis(zh-cn)
spinylobster/gomonkey-2022
『Go言語でつくるインタプリタ』の勉強用リポジトリ
spinylobster/haskell-recursion-training
Haskellで再帰を書く練習をする人向け。教材として。
spinylobster/hit_and_blow_ruby
spinylobster/InterpreterBook
「go 言語でつくるインタプリタ」の Lean によるノート
spinylobster/kotlin-learn-mob-20190420
spinylobster/lean4
Lean 4 programming language and theorem prover
spinylobster/localstack
nixpkgsのlocalstackのバージョンが古いので最新にしたいだけなのにNix力が足りなくてforkせざるを得なくなった。無念
spinylobster/my-homedir
spinylobster/openstf-katalon-test
This repository is for verification to execute tests with Android devices in different network via OpenSTF.
spinylobster/practice-js-tdd
spinylobster/practices-dataquest
https://www.dataquest.io
spinylobster/remote-mob-pro-20190120
spinylobster/vscode-extension-samples
Sample code illustrating the VS Code extension API.
spinylobster/ZeroD.lean
「ゼロから作るDeep Learning」をLeanで読みたい