Skip to content

Pull requests: trueagi-io/MORK

New pull request New
33 Open 86 Closed
33 Open 86 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Additional Sources/Sinks
#139 opened Jul 27, 2026 by rTreutlein Loading…
Scan encoded expressions without traversal stacks
#138 opened Jul 22, 2026 by MesTTo Contributor Loading…
4
Implement symbol and compound capture patterns in the pure sink
#137 opened Jul 22, 2026 by MesTTo Contributor Loading…
1
6
Implementation documentation for Unification
#134 opened Jul 16, 2026 by ClarkeRemy Collaborator Loading…
2
Add generalized semiring reductions to einsum VM and JIT
#132 opened Jul 8, 2026 by imlvts Collaborator Loading…
2
Factorized aggregate sinks: COUNT/SUM/MIN/MAX/AND without enumerating the join
#130 opened Jul 3, 2026 by MesTTo Contributor Loading…
1
Scope the interner's write-permit bookkeeping per mapping (memory-safety fix)
#129 opened Jul 2, 2026 by MesTTo Contributor Loading…
2
Semi-naive evaluation for the metta_calculus loop (opt-in semi_naive_ic): process_calculus 127x
#128 opened Jul 2, 2026 by MesTTo Contributor Loading…
4
Worst-case-optimal leapfrog-unification join, byte-identical to the ProductZipper
#124 opened Jul 1, 2026 by MesTTo Contributor Loading…
8
Implement scalar functions in linalg
#123 opened Jun 26, 2026 by imlvts Collaborator Loading…
Add graph_tensor symbolic-to-numeric bridge
#121 opened Jun 24, 2026 by MesTTo Contributor Loading…
Wire the scoped e-graph as an equality-saturation sink
#117 opened Jun 24, 2026 by MesTTo Contributor Loading…
Add fact lifecycle and relation indexing to TermIdentitySidecar
#116 opened Jun 24, 2026 by MesTTo Contributor Loading…
Rework the einsum f32 JIT with static backend dispatch per spec pattern
#115 opened Jun 24, 2026 by MesTTo Contributor Loading…
2
Seal unification semantics with differential tests against _unify
#114 opened Jun 24, 2026 by MesTTo Contributor Loading…
Add einsum output-shape inference
#112 opened Jun 24, 2026 by MesTTo Contributor Loading…
Add OpenBLAS dense backend to linalg
#111 opened Jun 24, 2026 by MesTTo Contributor Loading…
Cover metta_calculus query and chaining semantics
#110 opened Jun 24, 2026 by MesTTo Contributor Loading…
1
Cover the exec special-form contract with kernel tests
#109 opened Jun 24, 2026 by MesTTo Contributor Loading…
Cover Expr serialize_highlight single target
#108 opened Jun 24, 2026 by MesTTo Contributor Loading…
Harden JSON parser byte reads
#103 opened Jun 23, 2026 by MesTTo Contributor Loading…
Wire weighted path selection as a grounded sink
#101 opened Jun 23, 2026 by MesTTo Contributor Loading…
Expose WASM sink memory policy
#100 opened Jun 23, 2026 by MesTTo Contributor Loading…
Pathspace antichain oracles, sealed against prefix_subsumption
#99 opened Jun 23, 2026 by MesTTo Contributor Loading…
DNF reference evaluator, differentially sealed against PathMap's zipper_merge_dnf
#95 opened Jun 23, 2026 by MesTTo Contributor Loading…
ProTip! Exclude everything labeled bug with -label:bug.