victor-smirnov/logos

fail_text_oracle.py dies on a missing argv[1] while run_oracle.py refuses cleanly 5 days ago

bug good first issue tier:4

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

An in-source CMakeCache.txt makes every fresh out-of-source configure fail 5 days ago

bug good first issue tier:3

victor-smirnov/logos

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

_ = expr parses but sema rejects _ as an undefined variable 5 days ago

enhancement good first issue tier:3

victor-smirnov/logos

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

Document the firing order of multiple derive triggers on one item 5 days ago

documentation good first issue tier:4

victor-smirnov/logos

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

Add a fixture for a handler emitted by a handler (handlers spawning handlers) 5 days ago

enhancement good first issue tier:4

victor-smirnov/logos

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

store.logos's header says multi-parent merge commits are not exposed; they are 5 days ago

documentation good first issue tier:4

victor-smirnov/logos

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

ADR 0027's slice table still shows S1 unlanded a month after S1 landed 5 days ago

documentation good first issue tier:4

victor-smirnov/logos

5

A systems language built for the models that write it. Ownership and borrowing, Writ as a first-class data substrate, Deem as integrated Datalog reasoner with batteries, compile-time metaprogramming as ordinary Logos code, targeting a heterogeneous compute model (LCM)

Rust

Open Issues Need Help