2023年度未踏IT人材発掘・育成事業芝山PJの関連書類
☆15Apr 19, 2024Updated 2 years ago
Alternatives and similar repositories for mitou-docs
Users that are interested in mitou-docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Runtime for creating OS to use A9N Microkernel☆11Jun 19, 2026Updated last month
- 有志にて公開された未踏事業の応募書類や成果報告書などをまとめているリポジトリです．☆68Updated this week
- ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Apr 14, 2026Updated 3 months ago
- 2048 but the goal is to merge into biáng.☆17Feb 26, 2023Updated 3 years ago
- 未踏応募書類と成果報告書☆50Feb 20, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Capability-based 3rd-generation Microkernel/Microhypervisor with High-speed IPC Mechanism.☆53Jul 4, 2026Updated 3 weeks ago
- ☆10Sep 15, 2024Updated last year
- A programming language for double-entry accounting, inspired by Beancount.☆23Aug 4, 2025Updated 11 months ago
- サーベイした論文をissueにゆっくりまとめる。☆15May 15, 2024Updated 2 years ago
- 筑波大学にいるかいないかを記録・公開する Web サイト☆26Jun 14, 2026Updated last month
- A web application to show and filter illustrations included in tweets☆13Aug 14, 2023Updated 2 years ago
- LLM やシェルとインタラクティブに対話するための macOS 用アプリケーション☆50Mar 22, 2025Updated last year
- #[derive(Iterator, DoubleEndedIterator, ExactSizeIterator, FusedIterator, Extend)] for enums.☆15Jul 3, 2026Updated 3 weeks ago
- Wantedlyのインターン情報や新卒採用についてのインフォメーションです☆11Apr 5, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- mocknn is a mocking tool for Go program☆13Jun 24, 2022Updated 4 years ago
- This is the official implementation of physics-informed neural networks for functional differential equations (Functional PINN) proposed …☆12Apr 9, 2025Updated last year
- A purely functional programming language based on higher-order polymorphic lambda calculus☆24Jan 14, 2024Updated 2 years ago
- 災害時情報収集Platform☆17Jan 27, 2024Updated 2 years ago
- ☆11Mar 12, 2021Updated 5 years ago
- VSCode Plugin for Gobra☆11Updated this week
- Chrome extension to make your manaba a little bit more comfortable.☆41Jan 16, 2025Updated last year
- Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト☆11May 8, 2024Updated 2 years ago
- Go言語で学ぶYahoo! ID連携の黒帯ハンズオン☆12May 5, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 肺です☆21Oct 4, 2023Updated 2 years ago
- ☆21May 11, 2019Updated 7 years ago
- JAX implementation of Large Language Models. You can train GPT-2-like model with 青空文庫 (aozora bunko-clean dataset) or any other text dat…☆13Aug 5, 2024Updated last year
- Rust implementation of the dynamixel protocol 2.0☆15Updated this week
- ISUCONの練習時に使えるベンチマーカーWebUI☆14Jul 4, 2025Updated last year
- A benchmark for standalone WebAssembly☆38Aug 6, 2024Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Aug 13, 2024Updated last year
- ブラウザエンジン、ブラウザのOrinium☆29Updated this week
- ☆16Mar 5, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- hikalium's lifestyle guide☆13Feb 16, 2025Updated last year
- 日本の飲食店オープンデータ☆13May 6, 2021Updated 5 years ago
- Highly-customizable dotfiles manager☆14Feb 19, 2023Updated 3 years ago
- CoditT5: Pretraining for Source Code and Natural Language Editing☆29Jan 16, 2025Updated last year
- CLI tool to rewrite packet using XDP!☆23Mar 5, 2022Updated 4 years ago
- 競技プログラミングサポートツール Support tool for Competitive programming (AtCoder GUI)☆43Nov 14, 2024Updated last year
- ☆43Nov 27, 2023Updated 2 years ago