weka511/tm external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

weka511/tm

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/weka511/tm)

Close

weka511 / tmView on GitHubMore

• External links
• Readme badge

My notes from Theoretical Minimum Lectures

☆17Mar 8, 2025Updated 11 months ago

Alternatives and similar repositories for tm

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

• EPNW / opus_dart

  View on GitHub
  Wraps libopus in dart, and additionally provides a dart friendly API for encoding and decoding
  ☆16Jul 21, 2024Updated last year
• y-young / f1music

  View on GitHub
  校园音乐征集投票系统 A system for electing annual school music
  ☆10Feb 14, 2026Updated 2 weeks ago
• tungli / find_peaks-rs

  View on GitHub
  Find (filtered) local maxima.
  ☆16Jan 16, 2024Updated 2 years ago
• MIT-DB-Class / programming-contest-2021

  View on GitHub
  ☆11Jun 4, 2021Updated 4 years ago
• digama0 / lean-rs

  View on GitHub
  High level Lean 4 FFI for Rust
  ☆14Mar 16, 2024Updated last year
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• inpefess / isabelle-client

  View on GitHub
  A client for Isabelle server (https://isabelle.in.tum.de)
  ☆13Feb 16, 2026Updated 2 weeks ago
• IBM / ColPret

  View on GitHub
  Efficient Scaling laws and collaborative pretraining.
  ☆21Sep 18, 2025Updated 5 months ago
• teorth / newton

  View on GitHub
  ☆12Dec 25, 2023Updated 2 years ago
• netdata / agent-service-discovery

  View on GitHub
  ☆15Jan 30, 2025Updated last year
• ollyde / flutter_macos_video_player

  View on GitHub
  ☆16Mar 23, 2023Updated 2 years ago
• 658060 / topos

  View on GitHub
  Topos theory in Lean 4
  ☆17Feb 10, 2025Updated last year
• fzyzcjy / flutter_modern_test

  View on GitHub
  Modern and elegant test framework for Flutter, inspired by Cypress
  ☆18May 4, 2022Updated 3 years ago
• r12a / app-encodings

  View on GitHub
  This app allows you to see what bytes are used by legacy encodings to represent a particular character, or to convert a sequence of bytes…
  ☆16Mar 23, 2018Updated 7 years ago
• rolepoint / pyseeyou

  View on GitHub
  A Python ICU MessageFormat parsing tool
  ☆17Aug 22, 2025Updated 6 months ago
• SchrodingerZhu / reussir-lang

  View on GitHub
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Mar 29, 2025Updated 11 months ago
• rkoopmans / python-certificate-chain-resolver

  View on GitHub
  Resolve the certificate chains (leaf, intermediate, and the root) for x509 certificates using the CLI or Python API. It supports PEM, DER…
  ☆18Jan 10, 2026Updated last month
• teorth / erdos-guy-selfridge

  View on GitHub
  Project to verify the Guy-Selfridge conjectures
  ☆24Jun 14, 2025Updated 8 months ago
• DeepLink-org / DLBlas

  View on GitHub
  DLBlas: clean and efficient kernels
  ☆33Updated this week
• honzasp / rust-turbojpeg

  View on GitHub
  Rust bindings for TurboJPEG library
  ☆23Jan 23, 2026Updated last month
• agentultra / lean-for-hackers

  View on GitHub
  ☆20Jan 24, 2023Updated 3 years ago
• NetSys / cs168_proj_routing_student

  View on GitHub
  CS168 Project 1: Routing
  ☆13Feb 17, 2020Updated 6 years ago
• jmainpri / softMotion-libs

  View on GitHub
  Trajectory planning library
  ☆16Jun 24, 2020Updated 5 years ago
• helpmefindaname / transformer-smaller-training-vocab

  View on GitHub
  Temporary remove unused tokens during training to save ram and speed.
  ☆23Jun 15, 2025Updated 8 months ago
• HKUNLP / subgoal-theorem-prover

  View on GitHub
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19May 25, 2023Updated 2 years ago
• JinHoSo / flutter-password-strength

  View on GitHub
  A password strength checker for flutter.
  ☆22Feb 24, 2026Updated last week
• computer-networks / project-1

  View on GitHub
  CMU 15-441/641 Project 1
  ☆20Aug 31, 2021Updated 4 years ago
• ZLhhs / MIT-6.830-DatabaseSystem-PdfNotes

  View on GitHub
  ☆15Dec 5, 2020Updated 5 years ago
• Haoran-Zhao / Jerk-continuous-online-trajectory-generator-with-constraints

  View on GitHub
  ☆22Apr 9, 2022Updated 3 years ago
• rschwiebert / RingApp

  View on GitHub
  A database app for ring theory
  ☆22Feb 22, 2026Updated last week
• jasonrute / lean_proof_recording

  View on GitHub
  Proof recording for Lean 3
  ☆27Sep 30, 2021Updated 4 years ago
• stanford-cs248 / shading

  View on GitHub
  Stanford CS248 Assignment 3: Real-time Shading
  ☆10Feb 28, 2023Updated 3 years ago
• thehottgame / theHoTTGameGuide

  View on GitHub
  ☆25Aug 19, 2025Updated 6 months ago
• upsuper / delegate-attr

  View on GitHub
  Attribute proc-macro to delegate method to a field
  ☆29Sep 17, 2023Updated 2 years ago
• MathBases / MathBases

  View on GitHub
  ☆27Feb 3, 2026Updated 3 weeks ago
• irondash / native_toolchain_rust

  View on GitHub
  ☆30Aug 16, 2024Updated last year
• FormalGeo / FormalGeo

  View on GitHub
  Formal representation and solving for Euclidean plane geometry problems.
  ☆33Dec 19, 2025Updated 2 months ago
• mit-pdos / secfs-skeleton

  View on GitHub
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Apr 20, 2022Updated 3 years ago
• napkin-community / solutions

  View on GitHub
  📝 Solutions of "An Infinitely Large Napkin"
  ☆38Feb 22, 2026Updated last week