A GNU Social-compatible microblogging server about mathematics
☆21May 24, 2026Updated 4 months ago
Alternatives and similar repositories for mathtodon
Users that are interested in mathtodon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 縦書きエディタ☆26Updated this week
- Common Lisp SPARQL query generation library☆13Aug 3, 2019Updated 7 years ago
- Trivial Lisp-2 Interpreter (and my first Lisp!) https://t-sin.github.io/nutslisp/☆13May 20, 2018Updated 8 years ago
- デスクトップマスコット LiplisのWindows版です。ウインドウズのデスクトップでおしゃべりします。☆12Aug 20, 2022Updated 4 years ago
- Language with Clojure-like syntax and semantics based on EoPL + Shift/Reset☆15Jun 27, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 「にこ先輩といっしょに代数！」で使ったコードの実行可能な全文（`stack runghc`）☆14Nov 7, 2018Updated 7 years ago
- Line-for-line port of Rogue from C to Common Lisp☆13May 21, 2026Updated 4 months ago
- Remove a lang from the mastodon web interface☆11Nov 11, 2017Updated 8 years ago
- LEM(Lem extension manager) it's a package manager for the Lem editor/IDE☆24Sep 11, 2025Updated last year
- player, solver and creater of sudoku puzzles☆18Dec 24, 2025Updated 9 months ago
- Common Workflow Language tools and workflows by Pitagora-Network☆32Nov 8, 2022Updated 3 years ago
- WebUI library for Gauche☆14Aug 19, 2023Updated 3 years ago
- An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.☆20Sep 27, 2020Updated 5 years ago
- ☆14Jul 23, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- simple pokedex prototipe using poke api☆15Feb 16, 2024Updated 2 years ago
- client for pylodon (activitypub server)☆17Aug 27, 2018Updated 8 years ago
- An embedding solution for Misskey & Firefish☆14May 1, 2024Updated 2 years ago
- Script to import ProtonVPN configuration files into NetworkManager automatically☆10Feb 6, 2020Updated 6 years ago
- ARRP (Array Processing) is a LISP-like Programing Language on JavaScript.☆17Jun 3, 2019Updated 7 years ago
- If I died, posted "I died" to twitter.☆16Aug 14, 2017Updated 9 years ago
- jnethackの作業中ファイル置き場。force-pushしまくります。(比較的)安定版はjnethack-release側へ。☆18Updated this week
- ☆20Aug 13, 2024Updated 2 years ago
- The best Android client for accessing free social networks.☆13Jul 14, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Your self-hosted, globally interconnected microblogging community☆13Feb 26, 2024Updated 2 years ago
- Personal shell settings (aliases, functions, commands, shell options)☆20Jul 17, 2026Updated 2 months ago
- Generate string from regular expression☆27Jun 3, 2021Updated 5 years ago
- Finite fields for Julia☆50Apr 10, 2026Updated 5 months ago
- Mastodon client☆22Nov 21, 2017Updated 8 years ago
- ナイーブベイズで中二病判定☆10Dec 19, 2016Updated 9 years ago
- An extension delivering what you're watching and listening to, to Mastodon and other services☆21Oct 17, 2021Updated 4 years ago
- I accidentally built an HTML templating engine in Julia☆11Apr 6, 2022Updated 4 years ago
- handwritten digits recognition by M5Stack☆16Aug 17, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- for "Data Detectives", Soft Bank 2015☆12Sep 23, 2016Updated 10 years ago
- Fast Conway's Game of Life with OpenGL, OpenMP and CUDA☆10Mar 20, 2020Updated 6 years ago
- ☆16Apr 30, 2016Updated 10 years ago
- はじめてのロジバン第二版☆16Jul 23, 2018Updated 8 years ago
- ☆17Dec 17, 2023Updated 2 years ago
- ESP32からIFTTTをHTTPS経由で使う☆13Apr 6, 2017Updated 9 years ago
- Yet another human-friendly firewall☆12Jun 11, 2024Updated 2 years ago