VeriFastに関する文書の日本語訳置き場
☆15Oct 15, 2018Updated 7 years ago
Alternatives and similar repositories for translate
Users that are interested in translate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 7 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- POSIX sendmsg bindings for OCaml☆16Nov 5, 2016Updated 9 years ago
- mruby running inside the bare-metal hypervisor☆19Mar 8, 2020Updated 6 years ago
- CDN distribution for Opal.☆12May 1, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 「ひらがな」または「カタカナ」を日本語で発音する際の音声記号(IPA)に変換するコマンド☆19Jan 5, 2023Updated 3 years ago
- Repository for APL EPUB Working Group / EPUB仕様に関する日本語情報リポジトリ☆15Oct 13, 2017Updated 8 years ago
- A template repository to make yumemi-daigirin books☆13Jun 11, 2026Updated last week
- メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 6 years ago
- ☆12Apr 3, 2018Updated 8 years ago
- ローマ字で日本語ファイル名補完できるようにするzshプラグイン☆25Mar 22, 2026Updated 2 months ago
- A parser library for TypeScript☆10Dec 30, 2022Updated 3 years ago
- MIDI Keyboard sample sketch for K-25m.☆10Dec 2, 2015Updated 10 years ago
- ☆12Jul 1, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Swift-idl is a tool to generate Swift source code from Swift source code.☆10May 13, 2018Updated 8 years ago
- Backports of GHC deriving extensions☆14Jan 8, 2026Updated 5 months ago
- Handy interface PCB for MIDI and microcontrollers.☆12Mar 18, 2025Updated last year
- tribox Contest is an Online Speed-Solving Competition organized by Tribox Inc.☆12Apr 12, 2026Updated 2 months ago
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- BLIT-based sine wave hard sync☆18Feb 11, 2021Updated 5 years ago
- textlint plugin to lint Typst☆22Mar 4, 2026Updated 3 months ago
- ☆13Aug 7, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Notes of Programming Languages☆11Nov 30, 2024Updated last year
- A Proof-of-Concept app for the iOS app architecture "SwiftUI + FlowController Pattern"☆11Feb 16, 2022Updated 4 years ago
- This is a component that can be used with ESP-IDF, allowing you to add PicoRuby to your project.☆16May 9, 2026Updated last month
- An Arduino library of mircro mruby VM implementation for Arduino uno☆13May 19, 2019Updated 7 years ago
- A framework for processing input like streams, pathnames and sequences☆18Sep 19, 2017Updated 8 years ago
- mruby/c for ESP32 Arduino☆14Mar 2, 2019Updated 7 years ago
- (Obsolete. Not maintained anymore) Prototyping tool for embedded-boards with Ruby language -> New version https://github.com/kimushu/rubi…☆13Mar 8, 2017Updated 9 years ago
- StringIO class for mruby☆12Apr 7, 2025Updated last year
- Library and executable for working with playlist files.☆13Dec 15, 2025Updated 6 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A lightweight library featuring parsers for multiple minimal subsets of TypeScript, designed for learning and experimenting with type sys…☆15Jun 12, 2025Updated last year
- Pure Haskell LDAP client library☆13Nov 18, 2025Updated 7 months ago
- ☆14Dec 11, 2022Updated 3 years ago
- Testing framework for GitBook plugins☆17Jun 14, 2018Updated 8 years ago
- ☆11Updated this week
- Source of the Frege Goodness gitbook☆15Jan 16, 2019Updated 7 years ago
- Enchant Apache Traffic Server with mruby power.☆10Dec 29, 2016Updated 9 years ago