Skip to content
@litexlang

litexlang

Litex: write math, get formalized code. Because the math already is.

Popular repositories Loading

  1. golitex golitex Public

    Litex: write math, get formalized code. Because the math already is.

    Lean 678 10

  2. litex-resources litex-resources Public

    Lean 1

  3. homebrew-tap homebrew-tap Public

    Litex homebrew tap config

    Ruby

  4. scoop-litex scoop-litex Public

  5. litexpy litexpy Public

    Python

  6. Write-Litex-With-Generic-Agent Write-Litex-With-Generic-Agent Public

    Python

Repositories

Showing 8 of 8 repositories
  • golitex Public

    Litex: write math, get formalized code. Because the math already is.

    litexlang/golitex's past year of commit activity
    Lean 678 Apache-2.0 10 4 0 Updated Oct 27, 2026
  • homebrew-tap Public

    Litex homebrew tap config

    litexlang/homebrew-tap's past year of commit activity
    Ruby 0 0 0 0 Updated Oct 26, 2026
  • scoop-litex Public
    litexlang/scoop-litex's past year of commit activity
    0 0 0 0 Updated Oct 26, 2026
  • Litex-VS-Lean-AutoBuild Public

    Compare Litex with Lean on some math problems

    litexlang/Litex-VS-Lean-AutoBuild's past year of commit activity
    Python 0 0 0 0 Updated Oct 25, 2026
  • litex-skills Public
    litexlang/litex-skills's past year of commit activity
    Python 0 0 0 0 Updated Oct 15, 2026
  • Write-Litex-With-Generic-Agent Public
    litexlang/Write-Litex-With-Generic-Agent's past year of commit activity
    Python 0 0 0 0 Updated Oct 12, 2026
  • litex-resources Public
    litexlang/litex-resources's past year of commit activity
    Lean 1 0 0 0 Updated Oct 11, 2026
  • litexpy Public
    litexlang/litexpy's past year of commit activity
    Python 0 0 0 0 Updated Jun 3, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…