Pinned Loading
Repositories
Showing 10 of 111 repositories
- theia Public Forked from eclipse-theia/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
logicmoo/theia’s past year of commit activity - metta-wam Public Forked from trueagi-io/metta-wam
A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
logicmoo/metta-wam’s past year of commit activity - ace_llm_logic Public
A pipeline that uses ACE and an LLM to convert natural English into Logical Form
logicmoo/ace_llm_logic’s past year of commit activity - metta-testsuite Public
logicmoo/metta-testsuite’s past year of commit activity - metta-morph-mlog Public Forked from trueagi-io/metta-morph
Metta-morph (from Metamorphosis): Macro-based MeTTa to (Chicken) Scheme translator (For two-way testing with MeTTaLog)
logicmoo/metta-morph-mlog’s past year of commit activity - ARC2024_Kaggle Public
logicmoo/ARC2024_Kaggle’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…