VeriFastに関する文書の日本語訳置き場
☆15Oct 15, 2018Updated 8 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:
- 関数型プログラミングに関する論文の非公式日本語訳☆25Mar 5, 2015Updated 11 years ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- PostScript programming in the Coq proof assistant☆13Jun 12, 2014Updated 12 years ago
- An Abstract Data Store Language Parser and Translator☆11May 20, 2017Updated 9 years ago
- ATS programing on mbed platform☆14Oct 10, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Apache Traffic Server ドキュメントを日本語に翻訳するプロジェクト☆12Jan 4, 2016Updated 10 years ago
- Tlansrate the Sinatra README.rdoc to Japanese. (SinatraのREADME.rdocを日本語に訳していきます)☆11May 20, 2009Updated 17 years ago
- 日本語による感情分析用Javaライブラリです。☆10Sep 8, 2013Updated 13 years ago
- mruby running inside the bare-metal hypervisor☆19Mar 8, 2020Updated 6 years ago
- 日本語のキーワードや構文を定義してRubyを日本語で書けるようにする。☆11Apr 11, 2020Updated 6 years ago
- ポケモン第1世代(初代)のセーブデータについての日本語ドキュメントです☆13Jan 17, 2023Updated 3 years ago
- Notionに毎日新しいarXiv論文のアブストラクト日本語訳 + αを表示するスクリプト☆12Jan 22, 2023Updated 3 years ago
- 日本語テキストに対する wikification のためのソフトウェア☆17Mar 14, 2017Updated 9 years ago
- インポートするだけで Kivy が日本語を表示できるようになります☆13Oct 27, 2026Updated last week
- AI Agents on 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.
- 44100Hz日本語HuBERTに対応した QuickVC: Any-to-many Voice Conversion Using Inverse Short-time Fourier Transform for Faster Conversion です。☆16May 21, 2023Updated 3 years ago
- 44100Hz日本語音源に対応した PITS: Variational Pitch Inference for End-to-end Pitch-controllable TTS without External Pitch Predictor です。☆21May 2, 2023Updated 3 years ago
- 高橋Monad☆17May 24, 2017Updated 9 years ago
- Customized dvorak-jp romaji table for Google Japanese Input.☆13May 4, 2016Updated 10 years ago
- メイ カーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 6 years ago
- Japanese Spelling Error Corrector using BERT(Masked-Language Model). BERTに基づいて日本語校正☆14Aug 3, 2024Updated 2 years ago
- ロレム・イプサムはそこそこ意味の通った英数字交じりの日本語の文章をCC0で登録・収集するプロジェクトです。主にウェブ・ページやウェブ・アプリケーション等のモックアップに使うことを想定しています。☆34Aug 28, 2013Updated 13 years ago
- オンラインだからできること何かないかなと思って、英語を日本語に、日本語を英語にリアルタイム翻訳して字幕をつけてZoomとかに参加できるシステムを作ってみた。☆18Apr 12, 2020Updated 6 years ago
- WordPressの日本語コミュニティにおける投書箱です！☆13Jun 22, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A template repository to make yumemi-daigirin books☆14Updated this week
- ☆12Apr 3, 2018Updated 8 years ago
- Backports of GHC deriving extensions☆14Jun 17, 2026Updated 4 months ago
- RSpec + Ruby 2.0 refinements☆12Oct 12, 2012Updated 14 years ago
- open-source integrated library system / オープンソース統合図書館システム☆18Nov 3, 2014Updated 12 years ago
- ☆22Dec 23, 2013Updated 12 years ago
- Swift-idl is a tool to generate Swift source code from Swift source code.☆10May 13, 2018Updated 8 years ago
- A framework for processing input like streams, pathnames and sequences☆18Sep 19, 2017Updated 9 years ago
- NetBSD arafura - season 1☆11Mar 8, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆26Jul 4, 2015Updated 11 years ago
- 44100Hz日本語音源に対応させた unofficial vits2-TTS implementation in pytorchです。☆24Sep 1, 2023Updated 3 years ago
- Lightweight FFT library for Arduino & ESP32. Frequency analysis, audio spectrum, pitch detection☆13Apr 28, 2026Updated 6 months ago
- Use https://ctags.io instead (This was fork of http://ctags.sourceforge.net/)☆25Jul 25, 2015Updated 11 years ago
- SuperCollider language server for Visual Studio Code☆12May 8, 2026Updated 5 months ago
- Standuino microGranny is a pocket sized handmade granular sampler.☆11May 17, 2013Updated 13 years ago
- Fork of etckeeper to work with OS X.☆10Mar 10, 2015Updated 11 years ago