セキュリティミニキャンプ2019山梨 MC言語講義
☆19Jan 12, 2021Updated 5 years ago
Alternatives and similar repositories for mc-lang-1
Users that are interested in mc-lang-1 are comparing it to the libraries listed below
Sorting:
- bittn compiler infrastructure☆11Oct 12, 2020Updated 5 years ago
- ☆21Sep 29, 2024Updated last year
- ENC28J60 Linux network driver written in Rust.☆21Apr 28, 2023Updated 2 years ago
- CTF solutions from Osaka University CTF team Wani Hackase☆19Dec 16, 2021Updated 4 years ago
- The full set of files that supported TSG CTF challenges☆32Dec 8, 2019Updated 6 years ago
- ☆17Feb 19, 2025Updated last year
- Parallel Functional Testing framework, written in Rust☆11Oct 22, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- ☆19Dec 26, 2025Updated 2 months ago
- unofficial rust bindings for the kaggle api☆10Feb 1, 2025Updated last year
- Work done for "From Nand to Tetris: Building a Modern Computer from First Principles"☆11Jan 7, 2016Updated 10 years ago
- A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.☆12May 30, 2023Updated 2 years ago
- Laravel5.5LTS公式ドキュメント翻訳リポジトリ（Laravel公式は原文の英文のみです。日本語翻訳を公式と呼ばないでください。）☆11Dec 3, 2019Updated 6 years ago
- ☆11Mar 27, 2021Updated 4 years ago
- Dummy package and node for ROS2 GDB debugging☆10Sep 3, 2020Updated 5 years ago
- 🐣 Boilerplate of Zenn writing environment written in Dev Container☆11Dec 27, 2025Updated 2 months ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Language built during the Programming Language Masterclass.☆24Mar 19, 2014Updated 11 years ago
- System Audit Architecture with High Event Coverage and Synchronous Log Availability☆18Nov 27, 2024Updated last year
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Implementation of GuP [Arai+ SIGMOD'23]☆10Jan 10, 2024Updated 2 years ago
- Create a real-time object detection with a few examples using RetinaNet.☆10Jun 30, 2022Updated 3 years ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- Yet another Python PostgreSQL database driver☆12Dec 9, 2025Updated 3 months ago
- Command line-based python virtualbox bindings.☆14May 25, 2014Updated 11 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- AtCoder Problems for Me☆11Mar 28, 2019Updated 6 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- The ComponentContainer and Executor that assign a dedicated thread for each callback group.☆10Jun 20, 2025Updated 8 months ago
- Pyinstrument's C extensions - enables the development of a fast statistical profiler☆11Oct 8, 2021Updated 4 years ago
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Feb 28, 2026Updated last week
- ☆10Nov 6, 2015Updated 10 years ago
- ☆49Oct 24, 2025Updated 4 months ago
- 手を動かせばできるLLVMバックエンド チュートリアル（WIP）☆43May 12, 2022Updated 3 years ago