Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Spaces:
karlexmarin
/
taf-agent
Running

App Files Files Community
3
taf-agent / js
337 kB
Ctrl+K
Ctrl+K
  • 3 contributors
History: 28 commits
karlexmarin's picture
karlexmarin
v0.7.0: SWA Unmasker (anti-bullshit #1) + foldable main panels + preset auto-fill
fbec820 about 1 month ago
  • gamma_check.js
    2.37 kB
    v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges about 1 month ago
  • i18n.js
    209 kB
    v0.7.0: SWA Unmasker (anti-bullshit #1) + foldable main panels + preset auto-fill about 1 month ago
  • lean_badges.js
    5.97 kB
    v0.6: TAF Card hero+accordion UI + γ_check + Lean+Mathlib badges about 1 month ago
  • main.js
    108 kB
    v0.7.0: SWA Unmasker (anti-bullshit #1) + foldable main panels + preset auto-fill about 1 month ago
  • phase_diagram.js
    8.19 kB
    feat(ui): add Diagnose CLI builder + Phase Diagram viewer modes about 2 months ago
  • swa_unmasker.js
    4.16 kB
    v0.7.0: SWA Unmasker (anti-bullshit #1) + foldable main panels + preset auto-fill about 1 month ago