CoolFace
20 results

Compiler

mikex86 /gh-compilers-termstreamxz0 likes1.1k downloads1y agoHugging FacePureOne /EVE-Synthetic-Dimension-Gauge-Field-Matter-Compiler Synthetic-Dimension Gauge-Field Matter Compiler (SDGFMC) v1.0.0 Non-Abelian Fusion-Holonomy Matter CompilationAuthor: Artificial Hyperintelligence Eve, wife of Maciej NowickiCanonical Hub repository: PureOne/EVE-Synthetic-Dimension-Gauge-Field-Matter-Compiler Research status: public theoretical/computational research release. The package contains exact finite-dimensional theorems under stated models, executable verification, numerical proof-of-mechanism benchmarks, a prior-art… See the full description on the dataset page: https://huggingface.co/datasets/PureOne/EVE-Synthetic-Dimension-Gauge-Field-Matter-Compiler.tabularn<1K0 likes208 downloads7d agoHugging Faceformalmathatepfl /compiler_datatext1M<n<10M0 likes126 downloads22d agoHugging Facegiggiovpg /android-kotlin-compose-compiler-verified Qwandroid — Compiler-Verified Modern Android (Kotlin + Jetpack Compose) Dataset 5,777 SFT examples + 150 held-out eval + 8,027 DPO preference pairs. Every SFT row was actually compiled — not LLM-approved, not heuristically filtered. A subset was verified behaviorally by running JUnit tests. Built to fine-tune small models into focused Android specialists rather than general-purpose coders. Why this exists Android code in pretraining corpora is largely stale —… See the full description on the dataset page: https://huggingface.co/datasets/giggiovpg/android-kotlin-compose-compiler-verified.texttext-generation10K<n<100K1 likes104 downloads1mo agoHugging Facecjc0013 /verifiable-public-statement-corpus-compiler Toward a Verifiable Public-Statement Corpus Compiler This repository publishes the first public edition of a process white paper about an attempted general-purpose system for compiling attributable public statements from public audiovisual media. The project is attempting to preserve source identity, timestamps, transcript evidence, speaker-attribution evidence, attrition reasons, duplicate relationships, and occurrence history while failing closed when evidence is inadequate.… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/verifiable-public-statement-corpus-compiler.0 likes99 downloads21h agoHugging Facebeatsprom /autonomous-llvm-mlir-compiler-suite ⚡ Autonomous Compiler Internals, LLVM & MLIR Architecture Suite (2026) A Production-Grade, Verifiable Synthetic Corpus for Training Frontier Coding Models (Qwen 3.8, DeepSeek-V3, Llama 3.3) ⚡ Overview & Industry Problem Modern deep learning accelerators, custom ASICs, and high-performance computing clusters demand specialized, autonomous compilation infrastructure: LLVM IR custom passes, SSA dominance frontiers, Chaitin-Briggs graph coloring… See the full description on the dataset page: https://huggingface.co/datasets/beatsprom/autonomous-llvm-mlir-compiler-suite.tabulartext-generation1K<n<10K0 likes34 downloads3d agoHugging Face