Pinned Repositories
ccc
c compiler by c
dCPU
diohabara's central processing unit, or dCPU
dotfiles
For macOS and Linux(Ubuntu).
hbook
For http://learnyouahaskell.com
LeetCodeDailyReminder
Create a LeetCode-daily-problem task at Todoist
MuscleFuck
Muscle and Programming
naitei_jitai
You Can (Not) 内定辞退
nsa-codebreaker-challenge2022
Write-ups for The NSA Codebreaker Challenge 2022: https://nsa-codebreaker.org/challenge
open_inshi
大学院入試過去問(2023年実施試験まで)
pychd
PyChD: The ChatGPT-powered decompiler for Python, providing superior code analysis capabilities
diohabara's Repositories
diohabara/sat-solver101
My first SAT solver
diohabara/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
diohabara/aoc2020
I should have done earlier(´・ω・`)
diohabara/bustub
The BusTub Relational Database Management System (Educational)
diohabara/cookpad-online-summer-internship-2020-coding
https://gist.github.com/sankichi92/4e77203d7cd022f03bb1b95138c8b3f2
diohabara/cpp-bazel-sample
Sample C++ repository using Bazel
diohabara/futsuC
https://www.sbcr.jp/product/4797386479/
diohabara/gatsby-tutorial
https://www.gatsbyjs.com/docs/tutorial/
diohabara/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
diohabara/homebrew-cask-drivers
🖨 Casks of Drivers
diohabara/InfoInshi
not UT
diohabara/lectures
for lectures
diohabara/logicnets
diohabara/microps
Tiny TCP/IP protocol stack for lectures
diohabara/minisat
A minimalistic and high-performance SAT solver
diohabara/nushell
A new type of shell
diohabara/playground
as my pleasure
diohabara/react_tutorial
https://reactjs.org/tutorial/tutorial.html
diohabara/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
diohabara/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC
diohabara/rust-bazel-sample
Sample Rust repository using Bazel
diohabara/sample-github-actions-compile-diff
diohabara/syspro
introduction to system programming
diohabara/tldr
📚 Collaborative cheatsheets for console commands
diohabara/todo-cli
diohabara/ubuntu-dotfiles
for Ubuntu
diohabara/v8.dev
The source code of v8.dev, the official website of the V8 project.
diohabara/xv6-public
xv6 OS
diohabara/xv6-riscv
Xv6 for RISC-V
diohabara/zulip
Zulip server and webapp - powerful open source team chat