Otamusan

Otamusan's Stars

• xyz2tex/svg2tikz

  An Inkscape extension for exporting SVG paths as TikZ/PGF paths

  Language:Python58691

• tikzit/tikzit

  pgf/TikZ diagram editor

  Language:C++1.1k69

• uemurax/hott-ja

  HoTT in Japanese

  Language:Racket331

• uemurax/uemurax.github.io

  3

• dnobori/DN-Win32DiskImagerRenewal

  このリポジトリは、Windows 上での USB メモリ / SD カードイメージ書き込みツールのデファクト・スタンダードとなっている Win32 Disk Imager について、以下の点を改良した 「Win32 Disk Imager Renewal」 の デジタル署名済みの EXE 単体で動作する Win32 / x64 / ARM64 版バイナリ とソースコードを配布するためのものである。(1) PC 上で Google Drive が起動していても、Win32 Disk Imager が起動できるようにした。原版では、相性問題で、エラーが発生していた。 (2) 原版は 10Mbytes 程度のサイズがあり、1 つの EXE と 18 個の DLL が必要であったが、(以下略)

  Language:C++3275

• Kamesuta/IgniteTemplate

  Ignite を使用して 1.16.5 の Paperサーバー に Mixin を導入するためのテンプレートです。

  Language:Java2

• moorestech/mooreseditor

  Language:TypeScript51

• GTModpackTeam/GregTech-Expert-2

  Change the recipe of the other mod to greg recipe for 1.12.2.

  Language:ZenScript211

• soutaro/steep-vscode

  VSCode extension for Steep

  Language:TypeScript745

• serizawa-jp/abceed-powerpack

  Language:JavaScript1

• yoidea/eslint-plugin-shitsurei

  そのコード、失礼かもしれません。

  Language:JavaScript222

• BartoszMilewski/Publications

  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

  Language:Haskell1.2k36

• moorestech/moorestech

  FactorioやSatisfactoryみたいな工業ゲーのサーバー

  Language:C#195

• TeamKun/TokenMail

  プログラミング勢採用用ユーザー認証

  Language:Python4

• alg-d/CheckTikZDiagram

  TikZの図式を検証するツール

  Language:C#4

• nineties/category-seminar

  Materials for category theory seminar

  Language:HTML274

• Team-Fruit/FruitInteractions

  FTB Interactions for FruitLauncher

  Language:ZenScript1

• Team-Fruit/Satisgreg

  GregTech Modpack for FruitLauncher

  2

• vlang/v

  Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

  Language:V35.7k2.2k

• Apostolique/Agar.io-bot

  The aim of the project is to create a bot that can play Agar.io

  Language:JavaScript1.1k1.9k