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/naitei_jitai
You Can (Not) 内定辞退
diohabara/MuscleFuck
Muscle and Programming
diohabara/AOC2021
https://adventofcode.com/2021
diohabara/awesome-nix
😎 A curated list of the best resources in the Nix community [maintainer=@houstdav000]
diohabara/bthesis
bachelor thesis
diohabara/cornellpl
https://cs3110.github.io/textbook/chapters/interp
diohabara/cse291-program-synthesis
Program Synthesis Course
diohabara/dpkt
fast, simple packet creation / parsing, with definitions for the basic TCP/IP protocols
diohabara/dump_ocamlformat
dump preset ocamlformat configuration
diohabara/eff
A functional programming language based on algebraic effect handlers
diohabara/flink
Apache Flink
diohabara/gokarna
A minimal opinionated theme for Hugo
diohabara/hello-coq
hello world by coq
diohabara/iba-ai
東大の伊庭先生の人工知能の課題
diohabara/IoPLMaterials
Materials for the class "Implementation of Programming Languages" in Kyoto University.
diohabara/koka
Koka language compiler and interpreter
diohabara/monkey
Code for coding interviews
diohabara/nii-presentation
diohabara/opam-repository
Main public package repository for opam, the source package manager of OCaml.
diohabara/pandoc-latex-template
template
diohabara/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
diohabara/projects
https://diohabara.github.io/challenges/
diohabara/rules_rust
Rust rules for Bazel
diohabara/rust-by-example-ja
rust-by-exampleの和訳リポジトリ
diohabara/satysfi-demo
use https://github.com/gfngfn/SATySFi for fun
diohabara/server
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.
diohabara/soraemonpockt
my introduction page
diohabara/stdio
Standard IO Library for OCaml
diohabara/tour_of_rust
A tour of rust's language features
diohabara/youtuber
youtube videos