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
• shiatsumat / fp-papers

  View on GitHub
  関数型プログラミングに関する論文の非公式日本語訳
  ☆25Mar 5, 2015Updated 11 years ago
• gotutiyan / GEC-Info-ja

  View on GitHub
  文法誤り訂正に関する日本語文献を収集・分類するためのリポジトリ
  ☆14Apr 17, 2025Updated last year
• madvagabond / ocaml-balancers

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

  View on GitHub
  ☆13Feb 28, 2022Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• EduardoRFS / ocaml-migrate-types

  View on GitHub
  Convert OCaml Types between different major versions
  ☆14May 23, 2022Updated 4 years ago
• conditional / jawikify

  View on GitHub
  日本語テキストに対する wikification のためのソフトウェア
  ☆17Mar 14, 2017Updated 9 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
• 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 3 years ago
• mshk / Data-Journalism-Handbook-Ja

  View on GitHub
  Data Journalism Handbookの有志による日本語翻訳版です
  ☆15Jun 20, 2014Updated 12 years ago
• nojb / ocaml-obj-printer

  View on GitHub
  ☆21Mar 6, 2019Updated 7 years ago
• visup / haxe-titanium-api

  View on GitHub
  A set of extern classes for Haxe that wrap the Titanium API (http://developer.appcelerator.com/).
  ☆15Jun 7, 2011Updated 15 years ago
• mmontone / cl-pluggable-types

  View on GitHub
  Pluggable types for Common Lisp
  ☆19Dec 9, 2023Updated 2 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.
• Advanced-Publishing-Laboratory / apl-epub

  View on GitHub
  Repository for APL EPUB Working Group / EPUB仕様に関する日本語情報リポジトリ
  ☆15Oct 13, 2017Updated 8 years ago
• opal / opal-cdn

  View on GitHub
  CDN distribution for Opal.
  ☆12May 1, 2026Updated 2 months ago
• tokiwoousaka / takahashi

  View on GitHub
  高橋Monad
  ☆17May 24, 2017Updated 9 years ago
• fablabSENDAI / makers-coc

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

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

  View on GitHub
  Bindings for OpenVR and the Valve/HTC Vive
  ☆10Mar 28, 2017Updated 9 years ago
• vigoo / stylish-haskell-vscode

  View on GitHub
  stylish-haskell support for VS code
  ☆14Jan 15, 2021Updated 5 years ago
• ymm-oss / daigirin-template

  View on GitHub
  A template repository to make yumemi-daigirin books
  ☆13Updated this week
• EduardoRFS / ppx_let_locs

  View on GitHub
  improving stack trace for let monadic
  ☆27Apr 12, 2021Updated 5 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.
• garyb / purescript-dom-classy

  View on GitHub
  ☆12Apr 3, 2018Updated 8 years ago
• jinjor / typed-parser

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

  View on GitHub
  SERV RISC-V sample for Tang Nano FPGA board
  ☆20Dec 17, 2019Updated 6 years ago
• kinoshita-lab / MIDI-UART-interface-san

  View on GitHub
  Handy interface PCB for MIDI and microcontrollers.
  ☆16Mar 18, 2025Updated last year
• aoyama-val / zsh-romaji-complete

  View on GitHub
  ローマ字で日本語ファイル名補完できるようにするzshプラグイン
  ☆25Mar 22, 2026Updated 4 months ago
• paf31 / purescript-memoize

  View on GitHub
  Type classes for creating memoized functions
  ☆18Jun 23, 2018Updated 8 years ago
• next-l / next-l

  View on GitHub
  open-source integrated library system / オープンソース統合図書館システム
  ☆18Nov 3, 2014Updated 11 years ago
• haskell-compat / deriving-compat

  View on GitHub
  Backports of GHC deriving extensions
  ☆14Jun 17, 2026Updated last month
• hellonico / niclojure

  View on GitHub
  Candid whitebook on Clojure ecosystem
  ☆32Jul 10, 2013Updated 13 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• opsxcq / docker-dev-arduino

  View on GitHub
  Arduino development environment in a container
  ☆17Nov 1, 2017Updated 8 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 8 years ago
• nuscr / nuscr

  View on GitHub
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆31May 6, 2026Updated 2 months ago
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 10 years ago
• dwt98 / kb25

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

  View on GitHub
  LexiFi runtime types
  ☆36Nov 2, 2020Updated 5 years ago
• farend / redmine_theme_farend_basic

  View on GitHub
  日本語環境でRedmineの画面を見やすくすることを目的としたRedmine用テーマ。デフォルトテーマに似ているので、利用者を混乱させずに差し替えることができます。
  ☆48May 7, 2026Updated 2 months ago