GitHub - bytecodealliance/wasm-micro-runtime: WebAssembly Micro Runtime (WAMR)
A Bytecode Alliance project Guide  Website  Chat Build WAMR | Build AOT Compiler | Embed WAMR | Export Native API | Build Wasm Apps | Samples WebAssembly Micro Runtime (WAMR) is a lightweight standalone WebAssembly (Wasm) runtime with small footprint, high performance and highly configurable features for applications cross from embedded, IoT, edge to Trusted Execution Environment (TEE), smart cont
Rustã®éžåŒæœŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’マスターã™ã‚‹ - OPTiM TECH BLOG
ã“ã‚“ã«ã¡ã¯ã€R&Dãƒãƒ¼ãƒ ã®é½‹è—¤ï¼ˆ@aznhe21）ã§ã™ã€‚ ã•ã‚ã¿ãªã•ã‚“ã€ã¤ã„ã«ã“ã®æ™‚ãŒã‚„ã£ã¦ã¾ã„ã‚Šã¾ã—ãŸã€‚ 本日2019/11/8ã«ãƒªãƒªãƒ¼ã‚¹ã•ã‚ŒãŸRust 1.39ã«ã‚ˆã‚Šã€ã‚らゆる環境ã§æœ€é«˜é€ŸãªéžåŒæœŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒå¯èƒ½ã«ãªã‚Šã¾ã—ãŸã€‚ æ–°ãŸãªæ™‚代ã«ä¹—ã‚Šé…ã‚Œãªã„よã†ã€ä»Šã®ã†ã¡ã«Rustã§ã®éžåŒæœŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’マスターã—ã¦ãŠãã¾ã—ょã†ã€‚ ãªãŠã€ã“ã®è¨˜äº‹ã¯ã€å…ˆæ—¥é–‹å‚¬ã—ãŸOPTiM TECH BLOG Meetupã®å†…容を大幅ã«åŠ ç†ä¿®æ£ã—ãŸä¸Šã§ã‚¨ãƒ³ãƒˆãƒªã«ä»•ä¸Šã’ãŸã‚‚ã®ã§ã™ã€‚ ã¾ãšæœ€åˆã«ä¼ãˆãŸã„ã“㨠éžåŒæœŸã®æ´å² Rustã®éžåŒæœŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ´å² Rust 1.0ä»¥å‰ Rust 1.0 〜Rust 1.3 Rust 1.2ã‚ãŸã‚Š Rust 1.11ã‚ãŸã‚Š Rust 1.26ã‚ãŸã‚Š Rust 1.36 Rust 1.39 Rustã®éžåŒæœŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç‰¹å¾´ ゼãƒã‚³ã‚¹ãƒˆæŠ½è±¡åŒ– プラットフォームéžä¾
GRIN Compiler | whole program optimizer for lazy and strict functional languages
GRIN Compiler whole program optimizer for lazy and strict functional languages View on GitHub index2 Page Status: work in progress GRIN is a compiler backend and an intermediate language. The goal is to bring the benefits of whole program analysis and optimization for functional languages especially Haskell. The main benefits are: smaller executables (more accurate dead code elimination) faster pr
Ada Bare Bones - OSDev Wiki
The aim of this tutorial is to produce a small Multiboot kernel written in the Ada programming language. Preface One of the first things people ask on the Ada IRC channel on Freenode is "Can Ada be used for OS development?" to which the answer is a resounding yes. Prerequisites The following section details the prerequisite software necessary for successfully building the kernel. Cross-Compiler Ma
Rust Runtime Meetup Slides
ã“ã®ãƒ–ラウザ ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®ã‚µãƒãƒ¼ãƒˆã¯çµ‚了ã—ã¾ã—ãŸã€‚サãƒãƒ¼ãƒˆã•ã‚Œã¦ã„るブラウザã«ã‚¢ãƒƒãƒ—グレードã—ã¦ãã ã•ã„。
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Efficient runtime verification for the Linux kernel | Red Hat Research
GitHub - ytomino/drake: Drake: A Runtime Library for gcc-Ada
A Detailed Description of the GNU Ada Run Time
{{#tags}}- {{label}}
{{/tags}}