Projects in Awesome Lists by fraware
A curated list of projects in awesome lists by fraware .
https://github.com/fraware/lean-containers
lean-containers is a container library for Lean 4 that provides type-safe, mathematically rigorous implementations of container types and operations.
category-theory lean4 polynomial-functors type-theory w-types
Last synced: 09 Jun 2026
https://github.com/fraware/universal-recycle
Universal Recycle revolutionizes how you manage multi-language projects by providing a unified, extensible platform for code modernization, cross-language interoperability, and enterprise-grade build automation.
Last synced: 28 Jan 2026
https://github.com/fraware/lean-uprove
A Lean 4 tactic for automating proofs involving universal properties in category theory
Last synced: 28 Jan 2026
https://github.com/fraware/lean-endkan
Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
Last synced: 28 Jan 2026
https://github.com/fraware/solarsim
Advanced 3D simulation of the solar system, featuring enhanced physics and interactive visualization.
Last synced: 28 Jan 2026
https://github.com/fraware/cta-benchmark
CTA-Bench: research benchmark and toolkit for studying how well systems turn problem descriptions and reference code into Lean 4 proof obligations, and how faithful those obligations are to the intended algorithm.
ai-evaluation autoformalization benchmark evaluation-methodology formal-verification lean program-verification semantic-faithfulness theorem-proving
Last synced: 09 Jun 2026
https://github.com/fraware/rust-evals
Evaluate existing candidate patches; built to make benchmark claims auditable, reproducible, and explicitly evaluator-conditioned
artifact-evaluation benchmarking coding-agents evaluation formal-methods llm python reproducibility rust swe-bench
Last synced: 09 Jun 2026
https://github.com/fraware/ai_diffusion_state
China's AI Industrialization Model and the Next Productivity Shock
ai-diffusion china econometrics economics-of-ai empirical-economics industrial-policy python
Last synced: 09 Jun 2026