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
• reika727 / MalbolgeHelloWorld

  View on GitHub
  HOW TO HELLOWORLD WITH MALBOLGE.
  ☆19Apr 20, 2024Updated last year
• ryota-ka / dotfiles

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

  View on GitHub
  ☆13Aug 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
• JEEBIS27 / Plover_Mejiro

  View on GitHub
  メジロ式速記
  ☆17Jan 30, 2026Updated 2 weeks ago
• a2see-vnos / extract_my_tweets

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

  View on GitHub
  A repository to review the main concepts about Functional Programming with Java
  ☆10Updated this week
• MAlba124 / memacs

  View on GitHub
  Untraditional GNU Emacs configuration
  ☆10Jul 10, 2024Updated last year
• Chuzume / Private_Dimension

  View on GitHub
  ☆10Oct 28, 2025Updated 3 months ago
• 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
• entyu / udonarium_lily

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

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• yunix-kyopro / pahcer-studio

  View on GitHub
  ☆16Oct 10, 2025Updated 4 months ago
• blue0513 / stopwatch

  View on GitHub
  Mode-line stopwatch in Emacs
  ☆12Aug 27, 2019Updated 6 years ago
• 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
• KazuyaSato1968 / First_Course_Modern_Control_Eng_Python

  View on GitHub
  はじめての現代制御理論の図作成_Python
  ☆14Jun 22, 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
• AlexDuchnowski / rubiks-cube

  View on GitHub
  A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
  ☆11Jul 16, 2025Updated 7 months ago
• ekkx / yay.js

  View on GitHub
  A powerful JavaScript API library for interacting with Yay! (yay.space)
  ☆19Jun 23, 2024Updated last year
• puripuri2100 / exdesign

  View on GitHub
  A class file easy to customize with SATySFi
  ☆11May 22, 2021Updated 4 years ago
• suin / react-like-button-example

  View on GitHub
  💡 30分間React入門「いいねボタン」作成チュートリアル
  ☆10Oct 15, 2015Updated 10 years ago
• YuheiNakasaka / sb2md-rs

  View on GitHub
  ☆11Jul 4, 2022Updated 3 years ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated this week
• masatoi / HyREPL

  View on GitHub
  NREPL for Hy
  ☆10Aug 8, 2025Updated 6 months ago
• eggplants / ghitter

  View on GitHub
  GitHub as a SNS
  ☆10Jan 11, 2023Updated 3 years ago
• provables / sequencelib

  View on GitHub
  A platform for formalizing OEIS sequences in Lean 4
  ☆18Updated this week
• juliensf / mercury-csv

  View on GitHub
  A Mercury CSV library.
  ☆13Jan 20, 2026Updated 3 weeks ago
• kingyoPiyo / AF-LNA

  View on GitHub
  ADA4522-2ARMZ Lownoise Amp
  ☆11Jul 3, 2022Updated 3 years ago