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

• 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
• ciniml / tn_serv

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

  View on GitHub
  高橋Monad
  ☆17May 24, 2017Updated 8 years ago
• chikuwait / bitvisor_mruby

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

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

  View on GitHub
  MIDI Keyboard sample sketch for K-25m.
  ☆10Dec 2, 2015Updated 10 years ago
• kinoshita-lab / MIDI-UART-interface-san

  View on GitHub
  Handy interface PCB for MIDI and microcontrollers.
  ☆11Mar 18, 2025Updated 11 months ago
• mickamy / go-sqs-worker

  View on GitHub
  A Go library for managing asynchronous jobs using AWS SQS
  ☆15Feb 6, 2026Updated last month
• tribox / tribox-contest

  View on GitHub
  tribox Contest is an Online Speed-Solving Competition organized by Tribox Inc.
  ☆12Mar 2, 2026Updated last week
• renesas-rz / rza_linux-3.14

  View on GitHub
  Linux-3.14 kernel for RZ/A1
  ☆10Oct 17, 2018Updated 7 years ago
• LukeCallaghan / dmarc-visualizer

  View on GitHub
  Analyse and visualize DMARC results using open-source tools
  ☆11Apr 21, 2025Updated 10 months ago
• blue0513 / stopwatch

  View on GitHub
  Mode-line stopwatch in Emacs
  ☆12Aug 27, 2019Updated 6 years ago
• MrJoy / etckeeper

  View on GitHub
  Fork of etckeeper to work with OS X.
  ☆10Mar 10, 2015Updated 10 years ago
• farend / redmine_theme_farend_fancy

  View on GitHub
  Redmine用テーマ。farend basicにアイコン追加・色の微調整などを行い、デフォルトテーマの雰囲気を大きく変えずに親しみやすさを高めたテーマ。
  ☆56Jan 27, 2026Updated last month
• lukexi / openvr-hs

  View on GitHub
  Bindings for OpenVR and the Valve/HTC Vive
  ☆10Mar 28, 2017Updated 8 years ago
• shun-shobon / stars

  View on GitHub
  ☆24Updated this week
• asonas / groovebox-ruby

  View on GitHub
  ☆13Aug 7, 2025Updated 7 months ago
• garyb / purescript-dom-classy

  View on GitHub
  ☆12Apr 3, 2018Updated 7 years ago
• vpelletier / ITI1480A-linux

  View on GitHub
  Linux support for International Test Instruments' 1480A USB protocol analyzer
  ☆15May 13, 2019Updated 6 years ago
• g200kg / audioworklet-adsrnode

  View on GitHub
  ☆12Jul 1, 2020Updated 5 years ago
• BaDSeED-SEC / strngr

  View on GitHub
  ☆13May 5, 2018Updated 7 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• atinfinity / stable_diffusion.openvino-docker

  View on GitHub
  This is a Dockerfile to use stable_diffusion.openvino in Docker container.
  ☆13Aug 29, 2022Updated 3 years ago
• Scaryplasmon / CakeParticles

  View on GitHub
  Blender Addon to Bake Particles as Keyframed Objects
  ☆16May 23, 2025Updated 9 months ago
• standuino / microGranny

  View on GitHub
  Standuino microGranny is a pocket sized handmade granular sampler.
  ☆11May 17, 2013Updated 12 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 3 years ago
• JonasNorling / jacksynth

  View on GitHub
  Simple JACK synth experiment
  ☆13Aug 3, 2019Updated 6 years ago
• Veridise / vanguard-aleo

  View on GitHub
  Static analysis toolkit for security analysis in Aleo programs
  ☆10Mar 29, 2024Updated last year
• mattn / vim-completer

  View on GitHub
  ☆10Mar 7, 2016Updated 10 years ago
• kimushu / tinythreads

  View on GitHub
  POSIX-compatible tiny multi-threading library for Intel Nios II / Xilinx Zynq-7000
  ☆13Jun 14, 2020Updated 5 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• sheepla / go-urlbuilder

  View on GitHub
  🔗 A Go module to easily build URL string with concise syntax
  ☆11Oct 26, 2023Updated 2 years ago
• jinjor / typed-parser

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

  View on GitHub
  rp is a reverse proxy package for multiple domains and multiple upstreams.
  ☆13Sep 9, 2024Updated last year
• fumiyas / translation-ja

  View on GitHub
  各種文書の日本語訳
  ☆12Mar 7, 2018Updated 8 years ago
• deprecated-armory3d / armorpaint_samples

  View on GitHub
  Use 'Browser - Cloud' in ArmorPaint instead.
  ☆10Apr 5, 2021Updated 4 years ago
• AdobeDocs / after-effects

  View on GitHub
  ☆13Nov 3, 2025Updated 4 months ago
• embedded2016 / web-server-cgi

  View on GitHub
  web server with CGI support
  ☆12Apr 15, 2016Updated 9 years ago
• cispa / ShadowLoad

  View on GitHub
  ☆12Apr 1, 2025Updated 11 months ago