-
SB Intuitions / JSK Lab@UTokyo
- Tokyo, Japan
- https://hiroishida.github.io/
Lists (9)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- Clojure
- Common Lisp
- Coq
- Cuda
- Cython
- Dockerfile
- Emacs Lisp
- EmberScript
- Erlang
- Fortran
- GAP
- Go
- HTML
- Haskell
- HolyC
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Nix
- OCaml
- Objective-C
- PDDL
- Perl
- Prolog
- Python
- RPM Spec
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Svelte
- Swift
- TeX
- Thrift
- TypeScript
- Vim Script
- Vim Snippet
- Vue
- YAML
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
Magnificent app which corrects your previous console command.
The world’s fastest framework for building websites.
🏡 Open source home automation that puts local control and privacy first.
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
An extremely fast Python package and project manager, written in Rust.
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
Source code for the X Recommendation Algorithm
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Ghidra is a software reverse engineering (SRE) framework
A natural language interface for computers
Rich is a Python library for rich text and beautiful formatting in the terminal.
The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.
🌐 Jekyll is a blog-aware static site generator in Ruby
A markup-based typesetting system that is powerful and easy to learn.
An ultra-simplified explanation to design patterns
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
An extremely fast Python linter and code formatter, written in Rust.
A collection of design patterns/idioms in Python