Alternatives and similar repositories for yuyushiki

Users that are interested in yuyushiki are comparing it to the libraries listed below

• runtimeverification / k-editor-support

  View on GitHub
  Plugin files for editing K files
  ☆12Aug 20, 2024Updated last year
• lambdataro / Mokkosu

  View on GitHub
  Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。
  ☆27May 12, 2020Updated 5 years ago
• nomaddo / loop

  View on GitHub
  ☆15Apr 8, 2017Updated 8 years ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• non117 / zoi

  View on GitHub
  今日も一日がんばるぞい
  ☆19Aug 4, 2014Updated 11 years ago
• kframework / llvm-semantics

  View on GitHub
  Formal semantics of LLVM IR in K
  ☆46Jun 13, 2018Updated 7 years ago
• wraith13 / keep.grass

  View on GitHub
  This cross-platform App shows the last commit timestamp in order to keep your github active.
  ☆15Oct 9, 2018Updated 7 years ago
• EvaGL / llvm-gc

  View on GitHub
  Implementation of LLVM compiler plugin for garbage collection
  ☆21Dec 24, 2014Updated 11 years ago
• lpha-z / ltmpc

  View on GitHub
  C++11TMP compile time C compiler
  ☆27Dec 24, 2017Updated 8 years ago
• davidlazar / llvm-semantics

  View on GitHub
  Formal semantics of LLVM IR in K
  ☆45Jun 25, 2015Updated 10 years ago
• dnek / Pidet

  View on GitHub
  IDE for Piet.
  ☆27Apr 24, 2020Updated 5 years ago
• koike / public

  View on GitHub
  Past presentation materials
  ☆10Jul 10, 2018Updated 7 years ago
• Kuniwak / how-to-debug-js

  View on GitHub
  https://speakerdeck.com/orgachem/guan-reru-js-su-zao-kujiu-ming-debatuguru-men
  ☆10Oct 15, 2016Updated 9 years ago
• sora / mgcap

  View on GitHub
  A Multithread PcapNG capturing tool with Hardware timestamping
  ☆10Nov 6, 2016Updated 9 years ago
• kmc-jp / c90-compiler

  View on GitHub
  ISO C90のコンパイラ
  ☆31Sep 23, 2016Updated 9 years ago
• KOBA789 / keyboard-from-scratch

  View on GitHub
  Cookpad Spring Internship 2019 自作キーボードコース 講義資料
  ☆90Jul 15, 2021Updated 4 years ago
• tyru / tapi-reg.vim

  View on GitHub
  Seamless vim register manipulation in :terminal buffer via terminal-api
  ☆11Mar 16, 2020Updated 5 years ago
• cowlick / cowlick

  View on GitHub
  ☆13Jan 5, 2023Updated 3 years ago
• jas-chen / react-dnd-card

  View on GitHub
  Create a drag and drop list in a minute. Built on top of React DnD.
  ☆12May 25, 2016Updated 9 years ago
• larsiusprime / larsBounties

  View on GitHub
  Open bounties for various tasks Lars needs to delegate to others
  ☆10Feb 20, 2020Updated 5 years ago
• Drup / llvmgraph

  View on GitHub
  Ocamlgraph overlay for llvm
  ☆20Apr 4, 2015Updated 10 years ago
• Fadis / slce

  View on GitHub
  Standard Library Concepts Emulation
  ☆14Feb 8, 2021Updated 5 years ago
• kotauchisunsun / reclineK

  View on GitHub
  Recline: The autonomous AI assistant that seamlessly integrates with your CLI and editor to create, edit and run; redefining how you code…
  ☆10Jan 14, 2025Updated last year
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• nonylene / GradleExternalBuildPlugin

  View on GitHub
  [NOT MAINTAINED] Android Studio Plugin for gradle building on external tools
  ☆10Nov 14, 2016Updated 9 years ago
• reupen / typefind_panel

  View on GitHub
  Typefind panel for Columns UI
  ☆11Updated this week
• uiur / ssslack-chrome-extension

  View on GitHub
  Share slack logs
  ☆10May 24, 2015Updated 10 years ago
• sile / erl_tokenize

  View on GitHub
  An Erlang source code tokenizer written in Rust.
  ☆11Jan 13, 2026Updated last month
• deris / vim-popupiece

  View on GitHub
  popup text around tag, local decraration, etc
  ☆11Jun 23, 2019Updated 6 years ago
• tklengyel / guestrace

  View on GitHub
  Unofficial mirror of
  ☆11Feb 2, 2018Updated 8 years ago
• RKX1209 / Dnscript

  View on GitHub
  Dnscript is specific scripting language specializing to build the "danmaku" in shooting game.
  ☆11Apr 29, 2016Updated 9 years ago
• inaniwa3 / guuzen-tanka

  View on GitHub
  This script picks up the tanka from sentences.
  ☆39Jun 3, 2018Updated 7 years ago
• clavis / script.service.amagamiss.kiss.notificator

  View on GitHub
  ☆41Nov 11, 2015Updated 10 years ago
• koron / vim-voiceroid

  View on GitHub
  VOICEROID plugin for Vim
  ☆10Jan 14, 2019Updated 7 years ago
• kazupon / msgpack-as

  View on GitHub
  MessagePack implementation with AssemblyScript for WebAssembly
  ☆15Jan 3, 2019Updated 7 years ago
• kmc-jp / channel-killer

  View on GitHub
  長期間発言のないslackのチャンネルを殺す(archive)
  ☆10Jan 10, 2023Updated 3 years ago
• adrianherrera / kaitai-s2e

  View on GitHub
  Code for my blog post on combining S2E and Kaitai Struct
  ☆15Jun 1, 2019Updated 6 years ago
• yami-beta / vim-responsive-tabline

  View on GitHub
  ☆13Nov 10, 2017Updated 8 years ago
• mizchi / webview-pane

  View on GitHub
  ☆12Jan 9, 2015Updated 11 years ago