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:
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 7 years ago
- 日本語テキストに対する wikification のためのソフトウェア☆17Mar 14, 2017Updated 9 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- 文法誤り訂正に関する日本語文献を収集・分類するためのリポジトリ☆13Apr 17, 2025Updated 11 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- 44100Hz日本語音源に対応した PITS: Variational Pitch Inference for End-to-end Pitch-controllable TTS without External Pitch Predictor です。☆21May 2, 2023Updated 2 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.☆12Aug 8, 2024Updated last year
- 高橋Monad☆17May 24, 2017Updated 8 years ago
- ☆21Mar 6, 2019Updated 7 years ago
- 「ひらがな」または「カタカナ」を日本語で発音する際の音声記号(IPA)に変換するコマンド☆17Jan 5, 2023Updated 3 years ago
- Repository for APL EPUB Working Group / EPUB仕様に関する日本語情報リポジトリ☆15Oct 13, 2017Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Pluggable types for Common Lisp☆19Dec 9, 2023Updated 2 years ago
- A template repository to make yumemi-daigirin books☆12Mar 21, 2026Updated last week
- Bindings for OpenVR and the Valve/HTC Vive☆10Mar 28, 2017Updated 9 years ago
- 概要 ウェブベースの日本語学習ツールです。インタラクティブな インターフェースを通じて、ユーザーが日本語の語彙を練習することができます。学習モードと練習モードの両方をサポートしており、様々なレベルの学習者に適しています。☆29Oct 19, 2025Updated 5 months ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- improving stack trace for let monadic☆27Apr 12, 2021Updated 4 years ago
- メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 5 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- ローマ字で日本語ファイル名補完できるようにするzshプラグイン☆26Mar 22, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- No longer need to type in 'bundle exec'.☆18Jan 23, 2014Updated 12 years ago
- SERV RISC-V sample for Tang Nano FPGA board☆19Dec 17, 2019Updated 6 years 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
- Swift-idl is a tool to generate Swift source code from Swift source code.☆10May 13, 2018Updated 7 years ago
- Type classes for creating memoized functions☆18Jun 23, 2018Updated 7 years ago
- Backports of GHC deriving extensions☆13Jan 8, 2026Updated 2 months ago
- Arduino development environment in a container☆17Nov 1, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- mruby on M5Stack☆11Oct 28, 2024Updated last year
- Handy interface PCB for MIDI and microcontrollers.☆11Mar 18, 2025Updated last year
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Oct 20, 2025Updated 5 months ago
- tribox Contest is an Online Speed-Solving Competition organized by Tribox Inc.☆12Mar 2, 2026Updated 3 weeks ago
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- LexiFi runtime types☆35Nov 2, 2020Updated 5 years ago
- Print OCaml values based on their runtime representation☆31Jun 7, 2022Updated 3 years ago