Skip to content

Commit 1f44268

Browse files
hyperpolymathclaude
hyperpolymath
and
claude
committed
Add ada-ecosystem and coq-ecosystem from GitHub orphan placement
ada-loom-registry and coq-jr cloned from GitHub orphans during 2026-03-02 repo cleanup. GitHub standalone repos deleted. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 7959c62 commit 1f44268

File tree

191 files changed

+19055
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

191 files changed

+19055
-0
lines changed

‎ada-ecosystem/ada-loom-registry/.claude/CLAUDE.md‎

Lines changed: 83 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,83 @@
1+
## Machine-Readable Artefacts
2+
3+
The following files in `.machine_readable/` contain structured project metadata:
4+
5+
- `STATE.scm` - Current project state and progress
6+
- `META.scm` - Architecture decisions and development practices
7+
- `ECOSYSTEM.scm` - Position in the ecosystem and related projects
8+
- `AGENTIC.scm` - AI agent interaction patterns
9+
- `NEUROSYM.scm` - Neurosymbolic integration config
10+
- `PLAYBOOK.scm` - Operational runbook
11+
12+
---
13+
14+
# CLAUDE.md - AI Assistant Instructions
15+
16+
## Language Policy (Hyperpolymath Standard)
17+
18+
### ALLOWED Languages & Tools
19+
20+
| Language/Tool | Use Case | Notes |
21+
|---------------|----------|-------|
22+
| **ReScript** | Primary application code | Compiles to JS, type-safe |
23+
| **Deno** | Runtime & package management | Replaces Node/npm/bun |
24+
| **Rust** | Performance-critical, systems, WASM | Preferred for CLI tools |
25+
| **Tauri 2.0+** | Mobile apps (iOS/Android) | Rust backend + web UI |
26+
| **Dioxus** | Mobile apps (native UI) | Pure Rust, React-like |
27+
| **Gleam** | Backend services | Runs on BEAM or compiles to JS |
28+
| **Bash/POSIX Shell** | Scripts, automation | Keep minimal |
29+
| **JavaScript** | Only where ReScript cannot | MCP protocol glue, Deno APIs |
30+
| **Nickel** | Configuration language | For complex configs |
31+
| **Guile Scheme** | State/meta files | STATE.scm, META.scm, ECOSYSTEM.scm |
32+
| **Julia** | Batch scripts, data processing | Per RSR |
33+
| **OCaml** | AffineScript compiler | Language-specific |
34+
| **Ada** | Safety-critical systems | Where required |
35+
36+
### BANNED - Do Not Use
37+
38+
| Banned | Replacement |
39+
|--------|-------------|
40+
| TypeScript | ReScript |
41+
| Node.js | Deno |
42+
| npm | Deno |
43+
| Bun | Deno |
44+
| pnpm/yarn | Deno |
45+
| Go | Rust |
46+
| Python | Julia/Rust/ReScript |
47+
| Java/Kotlin | Rust/Tauri/Dioxus |
48+
| Swift | Tauri/Dioxus |
49+
| React Native | Tauri/Dioxus |
50+
| Flutter/Dart | Tauri/Dioxus |
51+
52+
### Mobile Development
53+
54+
**No exceptions for Kotlin/Swift** - use Rust-first approach:
55+
56+
1. **Tauri 2.0+** - Web UI (ReScript) + Rust backend, MIT/Apache-2.0
57+
2. **Dioxus** - Pure Rust native UI, MIT/Apache-2.0
58+
59+
Both are FOSS with independent governance (no Big Tech).
60+
61+
### Enforcement Rules
62+
63+
1. **No new TypeScript files** - Convert existing TS to ReScript
64+
2. **No package.json for runtime deps** - Use deno.json imports
65+
3. **No node_modules in production** - Deno caches deps automatically
66+
4. **No Go code** - Use Rust instead
67+
5. **No Python anywhere** - Use Julia for data/batch, Rust for systems, ReScript for apps
68+
6. **No Kotlin/Swift for mobile** - Use Tauri 2.0+ or Dioxus
69+
70+
### Package Management
71+
72+
- **Primary**: Guix (guix.scm)
73+
- **Fallback**: Nix (flake.nix)
74+
- **JS deps**: Deno (deno.json imports)
75+
76+
### Security Requirements
77+
78+
- No MD5/SHA1 for security (use SHA256+)
79+
- HTTPS only (no HTTP URLs)
80+
- No hardcoded secrets
81+
- SHA-pinned dependencies
82+
- SPDX license headers on all files
83+

‎ada-ecosystem/ada-loom-registry/.editorconfig‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
root = true
2+
3+
[*]
4+
charset = utf-8
5+
end_of_line = lf
6+
insert_final_newline = true
7+
trim_trailing_whitespace = true
8+
indent_style = space
9+
indent_size = 2
10+
11+
[*.hs]
12+
indent_size = 2
13+
14+
[*.cabal]
15+
indent_size = 2
16+
17+
[*.ncl]
18+
indent_size = 2
19+
20+
[*.md]
21+
trim_trailing_whitespace = false
22+
23+
[Makefile]
24+
indent_style = tab

‎ada-ecosystem/ada-loom-registry/.envrc‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
# direnv configuration for Ada-loom-registry (Spindle)
2+
use asdf
3+
4+
export PROJECT_ROOT="$(pwd)"
5+
export CABAL_DIR="$PROJECT_ROOT/.cabal"
6+
7+
PATH_add "$PROJECT_ROOT/dist-newstyle/build/spindle"
8+
9+
if [ -f .envrc.local ]; then
10+
source_env .envrc.local
11+
fi
12+
13+
echo "✓ Spindle environment loaded"

‎ada-ecosystem/ada-loom-registry/.gitattributes‎

Lines changed: 54 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
# SPDX-License-Identifier: PMPL-1.0
2+
# RSR-compliant .gitattributes
3+
4+
* text=auto eol=lf
5+
6+
# Source
7+
*.rs text eol=lf diff=rust
8+
*.ex text eol=lf diff=elixir
9+
*.exs text eol=lf diff=elixir
10+
*.jl text eol=lf
11+
*.res text eol=lf
12+
*.resi text eol=lf
13+
*.ada text eol=lf diff=ada
14+
*.adb text eol=lf diff=ada
15+
*.ads text eol=lf diff=ada
16+
*.hs text eol=lf
17+
*.chpl text eol=lf
18+
*.scm text eol=lf
19+
*.ncl text eol=lf
20+
*.nix text eol=lf
21+
22+
# Docs
23+
*.md text eol=lf diff=markdown
24+
*.adoc text eol=lf
25+
*.txt text eol=lf
26+
27+
# Data
28+
*.json text eol=lf
29+
*.yaml text eol=lf
30+
*.yml text eol=lf
31+
*.toml text eol=lf
32+
33+
# Config
34+
.gitignore text eol=lf
35+
.gitattributes text eol=lf
36+
justfile text eol=lf
37+
Makefile text eol=lf
38+
Containerfile text eol=lf
39+
40+
# Scripts
41+
*.sh text eol=lf
42+
43+
# Binary
44+
*.png binary
45+
*.jpg binary
46+
*.gif binary
47+
*.pdf binary
48+
*.woff2 binary
49+
*.zip binary
50+
*.gz binary
51+
52+
# Lock files
53+
Cargo.lock text eol=lf -diff
54+
flake.lock text eol=lf -diff

‎ada-ecosystem/ada-loom-registry/.github/FUNDING.yml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Funding platforms for hyperpolymath projects
3+
# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository
4+
5+
github: hyperpolymath
6+
ko_fi: hyperpolymath
7+
liberapay: hyperpolymath

‎ada-ecosystem/ada-loom-registry/.github/ISSUE_TEMPLATE/bug_report.md‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
---
2+
name: Bug report
3+
about: Create a report to help us improve
4+
title: "[Bug]: "
5+
labels: 'bug, priority: unset, triage'
6+
assignees: ''
7+
8+
---
9+
10+
**Describe the bug**
11+
A clear and concise description of what the bug is.
12+
13+
**To Reproduce**
14+
Steps to reproduce the behavior:
15+
1. Go to '...'
16+
2. Click on '....'
17+
3. Scroll down to '....'
18+
4. See error
19+
20+
**Expected behavior**
21+
A clear and concise description of what you expected to happen.
22+
23+
**Screenshots**
24+
If applicable, add screenshots to help explain your problem.
25+
26+
**Desktop (please complete the following information):**
27+
- OS: [e.g. iOS]
28+
- Browser [e.g. chrome, safari]
29+
- Version [e.g. 22]
30+
31+
**Smartphone (please complete the following information):**
32+
- Device: [e.g. iPhone6]
33+
- OS: [e.g. iOS8.1]
34+
- Browser [e.g. stock browser, safari]
35+
- Version [e.g. 22]
36+
37+
**Additional context**
38+
Add any other context about the problem here.

‎ada-ecosystem/ada-loom-registry/.github/ISSUE_TEMPLATE/custom.md‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
---
2+
name: Custom issue template
3+
about: Describe this issue template's purpose here.
4+
title: ''
5+
labels: ''
6+
assignees: ''
7+
8+
---
9+
10+

‎ada-ecosystem/ada-loom-registry/.github/ISSUE_TEMPLATE/documentation.md‎

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
---
2+
name: Documentation
3+
about: Report unclear, missing, or incorrect documentation
4+
title: "[DOCS]: "
5+
labels: 'documentation, priority: unset, triage'
6+
assignees: ''
7+
8+
---
9+
10+
name: Documentation
11+
description: Report unclear, missing, or incorrect documentation
12+
title: "[Docs]: "
13+
labels: ["documentation", "triage"]
14+
body:
15+
- type: markdown
16+
attributes:
17+
value: |
18+
Help us improve our documentation by reporting issues or gaps.
19+
20+
- type: dropdown
21+
id: type
22+
attributes:
23+
label: Documentation issue type
24+
options:
25+
- Missing (documentation doesn't exist)
26+
- Incorrect (information is wrong)
27+
- Unclear (confusing or hard to follow)
28+
- Outdated (no longer accurate)
29+
- Typo or grammar
30+
validations:
31+
required: true
32+
33+
- type: input
34+
id: location
35+
attributes:
36+
label: Location
37+
description: Where is this documentation? (URL, file path, or section name)
38+
placeholder: README.adoc, section "Installation"
39+
validations:
40+
required: true
41+
42+
- type: textarea
43+
id: description
44+
attributes:
45+
label: Description
46+
description: What's the problem with the current documentation?
47+
placeholder: Describe what's wrong or missing
48+
validations:
49+
required: true
50+
51+
- type: textarea
52+
id: suggestion
53+
attributes:
54+
label: Suggested improvement
55+
description: How should it be fixed or improved?
56+
placeholder: The documentation should say...
57+
validations:
58+
required: false
59+
60+
- type: checkboxes
61+
id: contribution
62+
attributes:
63+
label: Contribution
64+
options:
65+
- label: I would be willing to submit a PR to fix this
66+
required: false

‎ada-ecosystem/ada-loom-registry/.github/ISSUE_TEMPLATE/feature_request.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
name: Feature request
3+
about: Suggest an idea for this project
4+
title: ''
5+
labels: 'enhancement, priority: unset, triage'
6+
assignees: ''
7+
8+
---
9+
10+
**Is your feature request related to a problem? Please describe.**
11+
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]
12+
13+
**Describe the solution you'd like**
14+
A clear and concise description of what you want to happen.
15+
16+
**Describe alternatives you've considered**
17+
A clear and concise description of any alternative solutions or features you've considered.
18+
19+
**Additional context**
20+
Add any other context or screenshots about the feature request here.

‎ada-ecosystem/ada-loom-registry/.github/ISSUE_TEMPLATE/question.md‎

Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
---
2+
name: Question
3+
about: Ask a question about usage or behaviour
4+
title: "[QUESTION]: "
5+
labels: question, triage
6+
assignees: ''
7+
8+
---
9+
10+
name: Question
11+
description: Ask a question about usage or behaviour
12+
title: "[Question]: "
13+
labels: ["question", "triage"]
14+
body:
15+
- type: markdown
16+
attributes:
17+
value: |
18+
Have a question? You can also ask in [Discussions](../discussions) for broader conversations.
19+
20+
- type: textarea
21+
id: question
22+
attributes:
23+
label: Your question
24+
description: What would you like to know?
25+
placeholder: How do I...?
26+
validations:
27+
required: true
28+
29+
- type: textarea
30+
id: context
31+
attributes:
32+
label: Context
33+
description: Any relevant context that helps us answer your question
34+
placeholder: I'm trying to achieve X and I've tried Y...
35+
validations:
36+
required: false
37+
38+
- type: textarea
39+
id: research
40+
attributes:
41+
label: What I've already tried
42+
description: What have you already looked at or attempted?
43+
placeholder: I've read the README and searched issues but...
44+
validations:
45+
required: false
46+
47+
- type: checkboxes
48+
id: checked
49+
attributes:
50+
label: Pre-submission checklist
51+
options:
52+
- label: I have searched existing issues and discussions
53+
required: true
54+
- label: I have read the documentation
55+
required: true

0 commit comments

Comments
 (0)