Alternatives and similar repositories for introductiontomathmaticallogic

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

• shun-shobon / typst-oreilly-template
  オライリー風 Typst テンプレート
  ☆115Updated 3 weeks ago
• ut-khanlab / master_thesis_template_for_typst
  Writing in typst, thesis template
  ☆48Updated 9 months ago
• yukukotani / typst-coins-thesis
  筑波大学情報科学類の卒業論文向けのTypstテンプレート
  ☆43Updated last year
• hamukazu / math_figures
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆24Updated 2 years ago
• ZDK-UTsukuba / ipc-web-training-2024
  IPC Web 研修 2024 の資料
  ☆101Updated last year
• taniiicom / typst-quic-style
  ☆44Updated 3 months ago
• windymelt / zmm
  解説動画生成ツール
  ☆117Updated 2 months ago
• kimushun1101 / typst-jaconf
  Typst で日本語論文を書くときのテンプレート
  ☆150Updated 2 weeks ago
• Make-IT-TSUKUBA / alternative-tsukuba-kdb
  An informal website of the alternative of KdB, an curriculum planning support system used in University of Tsukuba
  ☆70Updated last week
• Make-IT-TSUKUBA / awesome-tsukuba
  筑波大学に関連する便利なツール・サイト・スマホアプリなど
  ☆43Updated 3 weeks ago
• rsk0315 / typeset-shortcut
  ☆24Updated 2 years ago
• Alignof / Human_C_Compiler_Contest
  HCCC -Human C Compiler Contest-
  ☆51Updated 2 years ago
• 7-rate / robokssay
  「踏めば助かるのに...」でおなじみのロボカスに何でも言わせることが出来ます。
  ☆53Updated last year
• inaniwaudon / clipshort
  LLM やシェルとインタラクティブに対話するための macOS 用アプリケーション
  ☆49Updated 7 months ago
• being24 / latex-template-ja
  できるだけ簡単にLaTeX環境を構築できるようにするテンプレート
  ☆62Updated this week
• cordx56 / tweet-generator
  markov-chain tweet generator webpage
  ☆144Updated 2 years ago
• puripuri2100 / lung
  肺です
  ☆21Updated 2 years ago
• magic-spreadsheets / magic-spreadsheets.github.io
  ITエンジニアインターン情報が集まる魔法のスプレッドシート
  ☆146Updated 11 months ago
• arkwnet / 569
  語録チェッカー / Goroku Checker / 语录检查器
  ☆77Updated last year
• textlint / textlint-plugin-latex2e
  Textlint Plugin LaTeX2ε
  ☆75Updated 2 weeks ago
• typst-jp / docs
  Typstドキュメント 日本語版 (Unofficial)
  ☆54Updated this week
• being24 / latex-docker
  Docker image for build tex source
  ☆29Updated last week
• Runnrairu / Machine-Learning-text
  一般的な機械学習入門
  ☆140Updated 8 months ago
• recuraki / cphb-ja
  (JA)Competitive Programmer's Handbook
  ☆158Updated last year
• yuru7 / juisee
  Juisee は、欧文フォント JuliaMono と日本語フォント LINE Seed JP を合成したプログラミング向けフォントです。
  ☆167Updated last year
• hutinoatari / cheapTransfer
  最安経路を教えてくれるWEBアプリ
  ☆73Updated 5 months ago
• greymd / mamadm
  ママ活の勧誘のメッセージを自動生成する
  ☆124Updated 3 years ago
• h-kitagawa / plistings
  pLaTeX で listings.styを日本語対応させる（さらなる別の）追加パッケージ
  ☆39Updated last month
• cysec-lab / CyTeX
  GitHub Codespacesを用いた 環境構築が容易な 日本語LaTeX執筆環境テンプレート
  ☆48Updated 6 months ago
• ShopOne / Shitforces
  くそなぞなぞコンテストサイト
  ☆27Updated 2 years ago