Logos Corpus: Source Code for an AI-Optimized Systems Programming Language

Logos v1.0 Corpus is a collection of source code programs written in the Logos programming language. The corpus includes cookbook recipes, algorithm examples, standard library code, and integration-test fixtures. It was created by byShammy and released on 2026-05-22.

Use Cases

• Training or fine-tuning code generation models based on Logos language syntax and semantics.
• Analyzing programming patterns and idioms in an AI-focused systems language.
• Testing compiler correctness and language tooling using the provided integration-test fixtures.
• Studying the application of Hindley-Milner type inference with effect systems in a practical corpus.

Strengths

• All programs typecheck under logosc v1.0.0, indicating syntactic and type correctness.
• The corpus is versioned and curated as of Logos v1.0.0, providing a snapshot of the language.

Limitations

• Column-level documentation is absent; field semantics must be inferred after download.
• Row count is unknown, which may limit suitability assessment.
• Description metadata is limited; actual data quality requires manual inspection after download.

Provenance

Source

byShammy via Hugging Face

Collection Method

Curated corpus of .logos programs from the Logos v1.0.0 release.

Time Range

As of version v1.0.0, shipped 2026-05-21.

Freshness

Last updated 2026-05-22 03:45:25; freshness should be verified.