Alternatives and similar repositories for fomodoro

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

• haasonsaas / dspy-advanced-prompting

  View on GitHub
  State-of-the-art prompting techniques implementation with DSpy - Manager-style prompts, role personas, meta-prompting, and more
  ☆49Jun 23, 2025Updated 7 months ago
• wallstreetbets-com / dex-contracts

  View on GitHub
  ☆11Jul 6, 2021Updated 4 years ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆11Feb 18, 2024Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• AareyanManzoor / Characteristic-Classes

  View on GitHub
  ☆11Sep 15, 2025Updated 4 months ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• thirdweb-dev / portal

  View on GitHub
  portal.thirdweb.com
  ☆12May 4, 2022Updated 3 years ago
• flowersteam / EAGER

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• Ja1941 / hilberts-axioms

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• nvcleemp / conjecturing

  View on GitHub
  Adding conjecturing to Sage
  ☆14Mar 17, 2023Updated 2 years ago
• ph-ausseil / llm-training-dataset-builder

  View on GitHub
  Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …
  ☆13Apr 17, 2023Updated 2 years ago
• BYU-PCCL / prompt-compression-contrastive-coding

  View on GitHub
  Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"
  ☆14May 31, 2023Updated 2 years ago
• zhangir-azerbayev / repl

  View on GitHub
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆12Jun 19, 2023Updated 2 years ago
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• ekinakyurek / gpt3-arithmetic

  View on GitHub
  Scratchpad/Chain-of-Thought Prompts
  ☆12Jun 6, 2022Updated 3 years ago
• GasStationManager / CodeProofTheArena

  View on GitHub
  Lean coding problem solving challenge website with proof verification
  ☆13Jul 8, 2025Updated 7 months ago
• ComposioHQ / competitor-researcher

  View on GitHub
  ☆10Jun 1, 2024Updated last year
• qwixiwp / comfyuiWorkflows

  View on GitHub
  A collection of my favourite workflows
  ☆10Dec 31, 2024Updated last year
• ymoslem / MT-Tools

  View on GitHub
  Collection of Common Machine Translation Tools
  ☆11Jul 26, 2022Updated 3 years ago
• microljy / DREN_Tensorflow

  View on GitHub
  DREN Tensorflow rotate mnist
  ☆11Mar 24, 2019Updated 6 years ago
• AareyanManzoor / Adams-Blue-Book

  View on GitHub
  The TeX for Adams' blue book, by the group TeXromancers
  ☆13Sep 15, 2025Updated 4 months ago
• MPCS-51039 / session-notes

  View on GitHub
  For the session notes of the MSD class!
  ☆12Mar 25, 2021Updated 4 years ago
• ForeverHaibara / Prover

  View on GitHub
  Auto math prover.
  ☆11Jul 10, 2024Updated last year
• ai4reason / ATP_Proofs

  View on GitHub
  Interesting ATP Proofs
  ☆13Sep 3, 2021Updated 4 years ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• m4lvin / tablean

  View on GitHub
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Oct 24, 2023Updated 2 years ago
• LAC1213 / compact_unit_ball

  View on GitHub
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Dec 7, 2019Updated 6 years ago
• astrainfinita / transcendental

  View on GitHub
  Lindemann–Weierstrass Theorem
  ☆12May 4, 2024Updated last year
• HazyResearch / embroid

  View on GitHub
  Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification
  ☆11Aug 12, 2023Updated 2 years ago
• elsamuko / xz_test

  View on GitHub
  Simple c++ wrapper for xz utils
  ☆13Jul 1, 2021Updated 4 years ago
• samuelcolvin / boston-ae

  View on GitHub
  ☆10Apr 21, 2025Updated 9 months ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• dwrensha / math-puzzles-in-lean

  View on GitHub
  math puzzles from various sources, formalized in Lean
  ☆10Oct 21, 2023Updated 2 years ago
• cocktailpeanutlabs / open-webui

  View on GitHub
  ☆10Jul 13, 2024Updated last year
• DmytroNorth / Text_To_Video_Edits-FCP-Python

  View on GitHub
  A Python file that cuts a video clip based on human-written instructions inside the FinalCut Pro video editor. See Jupiter notebook for d…
  ☆11Jul 21, 2021Updated 4 years ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Oct 16, 2025Updated 3 months ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Jan 17, 2026Updated 3 weeks ago
• msaroufim / vscode-pytorch-extension

  View on GitHub
  ☆12Mar 28, 2023Updated 2 years ago