Pinned Repositories
CDECsv_with_monitor
SystemVerilog version of CDECv
IS3_HDL_2018
2018年度IS3 マイクロコンピュータ基礎前期 HDL授業資料
refactoring_ruby_edition
リファクタリング：Rubyエディションの写経。rspecでのテストコードも添えて
snct_watt_daily_chart
仙台高専広瀬キャンパスの消費電力モニター(highcharts.jsとAmazon Lambda, API gatewayの練習)
rikitoro's Repositories
rikitoro/CDECsv_with_monitor
SystemVerilog version of CDECv
rikitoro/IS3_HDL_2018
2018年度IS3 マイクロコンピュータ基礎前期 HDL授業資料
rikitoro/snct_watt_daily_chart
仙台高専広瀬キャンパスの消費電力モニター(highcharts.jsとAmazon Lambda, API gatewayの練習)
rikitoro/cdecv_programmer
prgrammer for cdecv_with monitor
rikitoro/cdecv_with_monitor
Yet another CDEC, CDEC Voyager : Very simple 8-bit architecture CPU for computer architecture education
rikitoro/EdgeComputing01
rikitoro/FM2023_exercise
rikitoro/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
rikitoro/fpil
functional programming in Lean4 https://lean-lang.org/functional_programming_in_lean/
rikitoro/GE2_programming_workbook
rikitoro/gitpitch_test
rikitoro/IndustrialMathematics
rikitoro/IOmonad_study
Haskell IOモナドの仕組みの勉強用
rikitoro/IS3_digital_HDL
rikitoro/IS3_digital_HDL_02_components
rikitoro/is3_microcomputer
rikitoro/IS5_embedded_system_2018
rikitoro/jsonparser_in_haskell
Applicative の勉強用 (JSON parser の Haskell 実装)
rikitoro/lean-math-workshop
rikitoro/lean4_tut_exercises
rikitoro/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
rikitoro/naritaijinsei
私、猫になりたい人生だった
rikitoro/oc
rikitoro/patchwork
All the Git-it Workshop completers!
rikitoro/programming_basic
rikitoro/rsgrep
Rustハンズオン写経
rikitoro/rust_RPN_program
実践RUSTプログラミング写経
rikitoro/shimmering
rikitoro/tinymips_programmer
rikitoro/tinymips_with_monitor