100kinSAT - CanSat（カンサット）競技の入門キット
☆27Apr 22, 2021Updated 5 years ago
Alternatives and similar repositories for 100kinSAT
Users that are interested in 100kinSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WWWを再構築するぞ！！！☆15Aug 27, 2018Updated 7 years ago
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 6 years ago
- Detect Plagiarism in competitive programmming☆17Jun 30, 2021Updated 5 years ago
- hypervisorなmemo☆13Jul 1, 2019Updated 7 years ago
- ☆16Mar 21, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- https://github.com/sk2sat/emu のほうで一から作り直ししてます☆24Jul 8, 2017Updated 9 years ago
- 👨💻 Personal workspace for 2025: Learning, coding experiments, and project ideas. 🚀 A collection of technical notes, software implemen…☆14Dec 28, 2025Updated 6 months ago
- 初めて作ったプログラミング言語です☆12Dec 22, 2018Updated 7 years ago
- A operating system in Rust.☆19Feb 20, 2017Updated 9 years ago
- A policy document about open source software referenced at Cybozu.☆24Jul 8, 2020Updated 6 years ago
- Discussing standardizing serverless JS functions☆28Sep 19, 2024Updated last year
- TARGET and HOST triples☆16Updated this week
- こちらは教育用自作組み込みOSであるKOZOSをRaspberry Piへ移植したものです。This is an KOZOS(http://kozos.jp/kozos/) port to Raspberry Pi.☆20Aug 14, 2017Updated 8 years ago
- SPARQL client for Kotlin☆10May 8, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CVE-2014-1303 (WebKit Heap based BOF) proof of concept for Linux☆24Aug 10, 2025Updated 11 months ago
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Aug 9, 2021Updated 4 years ago
- Userland tools for backup and replication with WalB driver.☆12Oct 31, 2018Updated 7 years ago
- Wakayama.rb Ruby Board V2 library Firmware☆16Aug 15, 2023Updated 2 years ago
- An operating system written in Rust☆56May 30, 2026Updated last month
- makecfg is a tool for making CFG(Control Flow Graph) from binary.☆18Jan 11, 2022Updated 4 years ago
- TOPPERS/ASP3 Kernel written in Zig Programming Language☆19Jul 24, 2024Updated last year
- brgen, short for BinaRy encoder/decoder GENerator☆26Updated this week
- grpcstub provides gRPC server and client conn ( *grpc.ClientConn ) for stubbing, for testing in Go.☆12Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An Operating System as a Container Runtime.☆181Feb 27, 2026Updated 4 months ago
- Type passwords from KeePass2Android via Bluetooth☆12Feb 18, 2019Updated 7 years ago
- C93合同誌:「ワンストップ!技術同人誌を書こう(仮)」☆21Feb 13, 2022Updated 4 years ago
- 日本の大学一覧☆10Jun 30, 2019Updated 7 years ago
- 言語の庭 — ことばを育てて、言語をつくる。無料のCS・プログラミング言語教育サイト☆15Jun 12, 2026Updated last month
- 「BareMetalで遊ぶ Raspberry Pi」のプログラムです。☆50Aug 13, 2018Updated 7 years ago
- assembler + hikalium (for x86_64 for OSX, currently)☆17Aug 9, 2021Updated 4 years ago
- 🥅 Capture errors from `defer`'d cleanup functions. Reliably!☆12Nov 21, 2025Updated 8 months ago
- Cross-server process control tool.☆18Aug 30, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆22Nov 22, 2020Updated 5 years ago
- PyTorch code for Large-Scale Answerer in Questioner's Mind for Visual Dialog Question Generation (AQM+)☆10Feb 12, 2019Updated 7 years ago
- TinyLinux mini linux kernel implmentation from scratch☆145Dec 5, 2016Updated 9 years ago
- A minimal text editor in Rust☆32Jan 24, 2019Updated 7 years ago
- Simple CUI input prompt for Python☆15Aug 1, 2022Updated 3 years ago
- LLL, MLL, BKZ, etc.☆11Dec 22, 2020Updated 5 years ago
- Highly-customizable dotfiles manager☆14Feb 19, 2023Updated 3 years ago