yamaguchi1024 / mc-lang-1View external linksLinks
セキュリティミニキャンプ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:
- ENC28J60 Linux network driver written in Rust.☆21Apr 28, 2023Updated 2 years ago
- ☆21Sep 29, 2024Updated last year
- ☆17Feb 19, 2025Updated 11 months ago
- Laravel5.5LTS公式ドキュメント翻訳リポジトリ(Laravel公式は原文の英文のみです。日本語翻訳を公式と呼ばないでください。)☆11Dec 3, 2019Updated 6 years ago
- Work done for "From Nand to Tetris: Building a Modern Computer from First Principles"☆11Jan 7, 2016Updated 10 years ago
- ☆18Dec 26, 2025Updated last month
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- Parallel Functional Testing framework, written in Rust☆11Oct 22, 2023Updated 2 years ago
- unofficial rust bindings for the kaggle api☆10Feb 1, 2025Updated last year
- 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
- 1 weeks session at YCAM, Japan☆11Jun 11, 2020Updated 5 years ago
- ☆10Mar 31, 2023Updated 2 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- ☆11Jul 9, 2023Updated 2 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Command line-based python virtualbox bindings.☆14May 25, 2014Updated 11 years ago
- ☆11Mar 27, 2021Updated 4 years ago
- Highly-customizable dotfiles manager☆14Feb 19, 2023Updated 2 years ago
- Dummy package and node for ROS2 GDB debugging☆10Sep 3, 2020Updated 5 years ago
- Yet another Python PostgreSQL database driver☆12Dec 9, 2025Updated 2 months ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- 🐣 Boilerplate of Zenn writing environment written in Dev Container☆11Dec 27, 2025Updated last month
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- A guide to LuaLaTeX☆11Jun 13, 2015Updated 10 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- ☆77Jan 22, 2026Updated 3 weeks ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43May 12, 2022Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- Python library that builds FFI between Python and Euslisp.☆11Mar 14, 2020Updated 5 years ago
- The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.☆11Oct 3, 2025Updated 4 months ago
- 2015年8月1日上海,SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- SASS mixins for named breakpoints.☆10Jan 16, 2017Updated 9 years ago
- MuJoCo Models for Personal Robot 2 (PR2)☆11Aug 25, 2018Updated 7 years ago
- Python module for using CEFPython with Panda3D☆12Jan 9, 2020Updated 6 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago