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 likes201 downloads7d agoHugging Faceformalmathatepfl /compiler_datatext1M<n<10M0 likes120 downloads21d 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 likes95 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 likes63 downloads20h agoHugging Facezkaedi /zcc-compiler-bug-corpus ZCC Compiler Bug Corpus A growing dataset of confirmed, ground-truth C compiler codegen bugs, AST traversal faults, and SysV ABI violations discovered during the creation of the ZCC compiler. Provenance Codebases (Stress Categories) Baseline Arithmetic Memory Allocation Complex Expressions SQLite 3.45.0 DOOM 1.10 Lua 5.4.6 libcurl-8.7.1 (Network/IO) tabularn<1K0 likes29 downloads5mo agoHugging Face