jverifast-ug/translate external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jverifast-ug/translate

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jverifast-ug/translate)

Close

jverifast-ug / translateView on GitHubMore

• External links
• Readme badge

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.

• dorchard / betty-book-haskell-sessions

  View on GitHub
  Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).
  ☆12Nov 28, 2023Updated 2 years ago
• madvagabond / ocaml-balancers

  View on GitHub
  A client side load balancing library for ocaml
  ☆18Aug 11, 2018Updated 7 years ago
• conditional / jawikify

  View on GitHub
  日本語テキストに対する wikification のためのソフトウェア
  ☆17Mar 14, 2017Updated 9 years ago
• keigoi / kmclib

  View on GitHub
  ☆13Feb 28, 2022Updated 4 years ago
• gotutiyan / GEC-Info-ja

  View on GitHub
  文法誤り訂正に関する日本語文献を収集・分類するためのリポジトリ
  ☆13Apr 17, 2025Updated 11 months ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• EduardoRFS / ocaml-migrate-types

  View on GitHub
  Convert OCaml Types between different major versions
  ☆14May 23, 2022Updated 3 years ago
• tonnetonne814 / PITS-44100-Ja

  View on GitHub
  44100Hz日本語音源に対応した PITS: Variational Pitch Inference for End-to-end Pitch-controllable TTS without External Pitch Predictor です。
  ☆21May 2, 2023Updated 2 years ago
• pqwy / sendmsg

  View on GitHub
  POSIX sendmsg bindings for OCaml
  ☆16Nov 5, 2016Updated 9 years ago
• chikuwait / bitvisor_mruby

  View on GitHub
  mruby running inside the bare-metal hypervisor
  ☆19Mar 8, 2020Updated 6 years ago
• opal / opal-cdn

  View on GitHub
  CDN distribution for Opal.
  ☆12Aug 8, 2024Updated last year
• tokiwoousaka / takahashi

  View on GitHub
  高橋Monad
  ☆17May 24, 2017Updated 8 years ago
• nojb / ocaml-obj-printer

  View on GitHub
  ☆21Mar 6, 2019Updated 7 years ago
• amanoese / kana2ipa

  View on GitHub
  「ひらがな」または「カタカナ」を日本語で発音する際の音声記号(IPA)に変換するコマンド
  ☆17Jan 5, 2023Updated 3 years ago
• Advanced-Publishing-Laboratory / apl-epub

  View on GitHub
  Repository for APL EPUB Working Group / EPUB仕様に関する日本語情報リポジトリ
  ☆15Oct 13, 2017Updated 8 years ago
• NordVPN Special Discount Offer • Ad
  Save on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
• mmontone / cl-pluggable-types

  View on GitHub
  Pluggable types for Common Lisp
  ☆19Dec 9, 2023Updated 2 years ago
• yumemi-inc / daigirin-template

  View on GitHub
  A template repository to make yumemi-daigirin books
  ☆12Mar 21, 2026Updated last week
• lukexi / openvr-hs

  View on GitHub
  Bindings for OpenVR and the Valve/HTC Vive
  ☆10Mar 28, 2017Updated 9 years ago
• iamcheyan / kotoba

  View on GitHub
  概要 ウェブベースの日本語学習ツールです。インタラクティブなインターフェースを通じて、ユーザーが日本語の語彙を練習することができます。学習モードと練習モードの両方をサポートしており、様々なレベルの学習者に適しています。
  ☆29Oct 19, 2025Updated 5 months ago
• vigoo / stylish-haskell-vscode

  View on GitHub
  stylish-haskell support for VS code
  ☆14Jan 15, 2021Updated 5 years ago
• EduardoRFS / ppx_let_locs

  View on GitHub
  improving stack trace for let monadic
  ☆27Apr 12, 2021Updated 4 years ago
• fablabSENDAI / makers-coc

  View on GitHub
  メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト
  ☆10May 1, 2020Updated 5 years ago
• garyb / purescript-dom-classy

  View on GitHub
  ☆12Apr 3, 2018Updated 7 years ago
• aoyama-val / zsh-romaji-complete

  View on GitHub
  ローマ字で日本語ファイル名補完できるようにするzshプラグイン
  ☆26Mar 22, 2026Updated last week
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
• rhysd / zsh-bundle-exec

  View on GitHub
  No longer need to type in 'bundle exec'.
  ☆18Jan 23, 2014Updated 12 years ago
• ciniml / tn_serv

  View on GitHub
  SERV RISC-V sample for Tang Nano FPGA board
  ☆19Dec 17, 2019Updated 6 years ago
• jinjor / typed-parser

  View on GitHub
  A parser library for TypeScript
  ☆10Dec 30, 2022Updated 3 years ago
• dwt98 / kb25

  View on GitHub
  MIDI Keyboard sample sketch for K-25m.
  ☆10Dec 2, 2015Updated 10 years ago
• g200kg / audioworklet-adsrnode

  View on GitHub
  ☆12Jul 1, 2020Updated 5 years ago
• safx / swift-idl

  View on GitHub
  Swift-idl is a tool to generate Swift source code from Swift source code.
  ☆10May 13, 2018Updated 7 years ago
• paf31 / purescript-memoize

  View on GitHub
  Type classes for creating memoized functions
  ☆18Jun 23, 2018Updated 7 years ago
• haskell-compat / deriving-compat

  View on GitHub
  Backports of GHC deriving extensions
  ☆13Jan 8, 2026Updated 2 months ago
• opsxcq / docker-dev-arduino

  View on GitHub
  Arduino development environment in a container
  ☆17Nov 1, 2017Updated 8 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• mimaki / M5Stack-mruby

  View on GitHub
  mruby on M5Stack
  ☆11Oct 28, 2024Updated last year
• kinoshita-lab / MIDI-UART-interface-san

  View on GitHub
  Handy interface PCB for MIDI and microcontrollers.
  ☆11Mar 18, 2025Updated last year
• nuscr / nuscr

  View on GitHub
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆30Oct 20, 2025Updated 5 months ago
• tribox / tribox-contest

  View on GitHub
  tribox Contest is an Online Speed-Solving Competition organized by Tribox Inc.
  ☆12Mar 2, 2026Updated 3 weeks ago
• JonasNorling / jacksynth

  View on GitHub
  Simple JACK synth experiment
  ☆13Aug 3, 2019Updated 6 years ago
• LexiFi / lrt

  View on GitHub
  LexiFi runtime types
  ☆35Nov 2, 2020Updated 5 years ago
• mjambon / dum

  View on GitHub
  Print OCaml values based on their runtime representation
  ☆31Jun 7, 2022Updated 3 years ago