| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-02-13 | feat: improve OCaml scripts. (tools), rename drafts to articles (fs). | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | init: draft paper on C-index structures. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-31 | chore: update build system of `papers` repository. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | chore: reworked addpaper.ml, working on addentry.ml | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-23 | fix: tools: fix mktex.ml helper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-23 | chore: improve makefile and ocamlformat. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-22 | feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, and | Amlal El Mahrouss | |
| Authority.' Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-01 | fix: mktex.ml: scoping bug patch at line 40-43. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-27 | fix: add newline to mktex.ml. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-22 | chore: Better help prompt for `mktex`. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-21 | feat: new `mktex.ml` tool. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-19 | chore: Add tooling, updated existing papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-06 | chore: New readme, index.md, and updated wg02. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-05 | chore: wip: python tooling to build PDFs out of Tex files. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-05 | chore: WG02: Link fixes and author tweaks. Add INDEX.md in draft/ | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
 |
index : Papers | |
| The Papers and articles compiled by Ne.org developers. | Amlal El Mahrouss |
| summaryrefslogtreecommitdiffhomepage |