Search results

Define L prototype in Lean

feature

Status: Open.

#85 In njcom/morpho;

· proto-h opened on Feb 8, 2026

Full stack in Go

Status: Open.

#84 In njcom/morpho;

· proto-h opened on Nov 16, 2025

Investigate OCaml and its libraries

Status: Open.

#83 In njcom/morpho;

· proto-h opened on Oct 9, 2025

Investigate Rust tools and libraries

Status: Open.

#82 In njcom/morpho;

· proto-h opened on Oct 3, 2025

Replace sites with profiles, move lib/ under module/

Status: Open.

#81 In njcom/morpho;

· proto-h opened on Oct 3, 2025

Chat natural mode as base (normal) mode of the editor

Status: Open.

Feature

#80 In njcom/morpho;

· proto-h opened on Sep 14, 2025

Investigate eve

Status: Open.

#79 In njcom/morpho;

· proto-h opened on Sep 4, 2025

Add ANTLR module

compiler

Status: Open.

Feature

#78 In njcom/morpho;

· proto-h opened on Sep 3, 2025

Become agentic system

ai

Status: Open.

#77 In njcom/morpho;

· proto-h opened on Sep 2, 2025

Write tests for sudo()

cli

Status: Open.

#76 In njcom/morpho;

· proto-h opened on Sep 1, 2025

Learn code from GNU projects

ai

Status: Open.

#75 In njcom/morpho;

· proto-h opened on Aug 29, 2025

Implement C compiler for self education

compiler

epic

Status: Open.

#74 In njcom/morpho;

· proto-h opened on Aug 29, 2025