Alternatives and similar repositories for introductiontomathmaticallogic

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

• eniehack / scrapbox-planetarium

  View on GitHub
  visualize link relations on scrapbox's project
  ☆10Sep 7, 2025Updated 5 months ago
• ryoppippi / is-iibun

  View on GitHub
  数値が偶数かどうかを判定する革新的なライブラリです。奇数の場合は、言い分を述べることで、偶数の概念を超越した解釈を提供します。
  ☆16Feb 9, 2026Updated last week
• usagrada / satysfi-formatter

  View on GitHub
  Formatter for SATySFi
  ☆17Jun 7, 2025Updated 8 months ago
• ryota-ka / dotfiles

  View on GitHub
  My configuration files
  ☆18Jan 3, 2024Updated 2 years ago
• reika727 / MalbolgeHelloWorld

  View on GitHub
  HOW TO HELLOWORLD WITH MALBOLGE.
  ☆19Apr 20, 2024Updated last year
• shouta0715 / nerd

  View on GitHub
  ☆14Aug 10, 2024Updated last year
• monaqa / tree-sitter-satysfi

  View on GitHub
  tree-sitter grammar for SATySFi
  ☆19Apr 8, 2023Updated 2 years ago
• haxibami / hotate

  View on GitHub
  縦書きエディタ
  ☆24Updated this week
• hamukazu / math_figures

  View on GitHub
  数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
  ☆24Aug 6, 2023Updated 2 years ago
• ymgyt / mynix

  View on GitHub
  Nix configuration for desktops and home servers ❄️
  ☆23Feb 5, 2026Updated last week
• sititou70 / yurigraph

  View on GitHub
  Visualize and ranking the characters coupling of various anime / games / comics / and so on.
  ☆23Dec 1, 2025Updated 2 months ago
• akiym / ed25519brute

  View on GitHub
  ☆30Mar 25, 2024Updated last year
• a2see-vnos / extract_my_tweets

  View on GitHub
  ダウンロードしたアーカイブから自分の投稿のみを抽出する
  ☆11Apr 21, 2025Updated 9 months ago
• Chuzume / Private_Dimension

  View on GitHub
  ☆10Oct 28, 2025Updated 3 months ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• entyu / udonarium_lily

  View on GitHub
  WebRTCを使ってブラウザ間通信を行うオンセツール　ユドナリウムの変更版ユドナリウムリリィです
  ☆18Jan 22, 2026Updated 3 weeks ago
• jabrena / 101-functional-programming

  View on GitHub
  A repository to review the main concepts about Functional Programming with Java
  ☆10Feb 4, 2026Updated last week
• blue0513 / stopwatch

  View on GitHub
  Mode-line stopwatch in Emacs
  ☆12Aug 27, 2019Updated 6 years ago
• yunix-kyopro / pahcer-studio

  View on GitHub
  ☆16Oct 10, 2025Updated 4 months ago
• MAlba124 / memacs

  View on GitHub
  Untraditional GNU Emacs configuration
  ☆10Jul 10, 2024Updated last year
• tkrhsmt / enja-bib

  View on GitHub
  日本語／英語文献 Typstパッケージ
  ☆17Dec 21, 2025Updated last month
• satshi / typst-jp-template

  View on GitHub
  ☆12Oct 17, 2025Updated 4 months ago
• miu200521358 / mmd-auto-trace-3

  View on GitHub
  ☆11Apr 18, 2024Updated last year
• japanese-law-analysis / data_set

  View on GitHub
  法律・判例関係のデータセット
  ☆49Jan 8, 2025Updated last year
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• progfay / scrapbox-parser

  View on GitHub
  Scrapbox notation → JavaScript Object
  ☆99Jan 1, 2026Updated last month
• provables / sequencelib

  View on GitHub
  A platform for formalizing OEIS sequences in Lean 4
  ☆18Feb 10, 2026Updated last week
• mizchi / frontend-deno

  View on GitHub
  ☆11Dec 16, 2021Updated 4 years ago
• onozaty / csvt

  View on GitHub
  csvt is a command line tool for processing CSV.
  ☆13Jan 14, 2026Updated last month
• rberenguel / processing-scala-sample

  View on GitHub
  An example sbt project to work with Processing (processing.org) in Scala
  ☆11Mar 2, 2018Updated 7 years ago
• yabaitechtokyo / satysfi-derive

  View on GitHub
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Jan 2, 2021Updated 5 years ago
• puripuri2100 / exdesign

  View on GitHub
  A class file easy to customize with SATySFi
  ☆11May 22, 2021Updated 4 years ago
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated last year
• koya-kimura / p5.gvm.js

  View on GitHub
  p5.gvm.js is a library for p5.js that allows you to easily create generative video with rhythm.
  ☆12Jun 23, 2025Updated 7 months ago
• mertvn / EMQ

  View on GitHub
  Eroge Music Quiz
  ☆11Updated this week
• uetchy / badge-api

  View on GitHub
  Extra badges for App Store, Product Hunt and Hatena bookmarks
  ☆11Sep 21, 2023Updated 2 years ago
• juliensf / mercury-csv

  View on GitHub
  A Mercury CSV library.
  ☆13Jan 20, 2026Updated 3 weeks ago
• conao3 / ox-zenn.el

  View on GitHub
  ☆12Dec 30, 2025Updated last month
• YuheiNakasaka / sb2md-rs

  View on GitHub
  ☆11Jul 4, 2022Updated 3 years ago