tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

DateCommit messageAuthorFiles+-
2026-10-19 21:14Introduce beginner lessons and an editable language referenceJames Eversole44+1381-98
2026-10-19 18:08Add a native-checked library picker and static agent referencesJames Eversole37+1091-17
2026-10-19 16:19Bundle browser entrypoints and polish the tricu homepageJames Eversole29+398-98
2026-10-19 15:18Version browser asset trees for immutable cachingJames Eversole17+234-24
2026-10-19 12:10Support native and local Arboricx module imports in the browserJames Eversole122+3091-570
2026-10-19 01:17Load published packages immediately when selectedJames Eversole4+20-8
2026-10-18 23:48Refine the live editor with syntax colors and nearby evaluation resultsJames Eversole44+1386-670
2026-10-18 22:30Build a single-page live editor with cross-runtime expression evaluationJames Eversole51+1671-2366
2026-10-18 20:34Add selectable browser runtimes with Haskell as the defaultJames Eversole99+5376-799
2026-10-18 17:08Refresh site assets for accepted name-index compilerJames Eversole19+153-24
2026-10-18 16:51Publish accepted name-index compiler and support fixturesJames Eversole62+1546-669
2026-10-18 16:13Index stable compiler name lookup with shared resolver and ordering machineryJames Eversole13+498-163
2026-10-18 10:38Refresh site for structural ASCII classifiersJames Eversole20+174-31
2026-10-18 10:18Publish the structural ASCII-classifier compilerJames Eversole59+1217-1048
2026-10-18 09:41Classify ASCII digits and letters with fixed bit slicesJames Eversole6+170-7
2026-10-18 01:33Refresh site for the structural digest-byte compilerJames Eversole15+123-16
2026-10-18 01:14Publish structurally bounded digest-byte compilerJames Eversole52+606-400
2026-10-18 00:39Bound digest-byte validation with structural stepsJames Eversole4+205-8
2026-10-17 21:43Merge branch 'rewrite-arboricx-bundle-format-docs'James Eversole6+1054-967
2026-10-17 21:42Retain compiled drafts independently of disposable executionsJames Eversole10+329-186
2026-10-17 21:39Rewrite documentation around behavior and explicit boundariesJames Eversole6+1054-967
2026-10-17 20:13Refresh site assets with the accepted constructor-K compilerJames Eversole45+372-79
2026-10-17 18:41Publish accepted constructor-K compiler and support cohortJames Eversole90+10182-9974
2026-10-17 17:19Cache constructor-safe K pruning in stable loweringJames Eversole4+438-40
2026-10-17 03:26Publish the reproduced stable direct-dispatch compiler and support cohortJames Eversole81+9025-8328
2026-10-17 02:08Use direct outer constructor dispatch in stable pattern loweringJames Eversole6+107-18
2026-10-17 00:02Fuse constructor triage and inline collector markingJames Eversole4+125-10
2026-10-16 22:52Reduce Zig evaluator allocation and dispatch overhead with bounded parity checksJames Eversole13+674-108
2026-10-16 19:39Merge Zig runtime portability and cross-runtime compiler validationJames Eversole50+4222-1137
2026-10-16 19:30Keep server inspection guide focused on usage and exact-tree semanticsJames Eversole1+24-35
2026-10-16 19:29Demonstrate exact-tree aliases for Arboricx server inspectionJames Eversole4+270-0
2026-10-16 19:29Resolve native module sources through discoverable workspace mapsJames Eversole19+396-35
2026-10-16 19:23Polish runtime and cross-host compiler documentation for publicationJames Eversole9+220-260
2026-10-16 19:11Complete cross-runtime compiler checkpoint with verified rolling retentionJames Eversole2+8-0
2026-10-16 18:59Verify cross-runtime fixed point and complete post-generation resultsJames Eversole5+282-13
2026-10-16 17:51Give isolated generations matching procfs and preserve prelaunch continuation evidenceJames Eversole2+64-14
2026-10-16 17:27Define isolated cross-runtime reproduction with frozen inputs and independent acceptanceJames Eversole4+257-26
2026-10-16 17:19Validate bounded cross-host compiler compatibility and failure controlsJames Eversole3+130-3
2026-10-16 17:09Separate generation execution host from Haskell artifact transportJames Eversole6+255-205
2026-10-16 17:06Modernize Zig lazy runtime, owned ABI and portable compiler IOJames Eversole39+3490-1093
2026-10-15 11:30Default demo site programs to newest package releasesJames Eversole7+149-17
2026-10-15 01:23Consolidate filesystem dispatch while preserving validation demandJames Eversole3+70-70
2026-10-15 01:14Scope asynchronous workers and sockets to their owning IO runJames Eversole3+162-39
2026-10-15 00:50Resolve symlinked parents before authorizing new IO pathsJames Eversole5+73-72
2026-10-15 00:39Extract shared portable compiler supervision from CLI orchestrationJames Eversole10+361-146
2026-10-15 00:20Share authenticated executable loading across host entrypointsJames Eversole7+246-87
2026-10-15 00:08Delete the historical Haskell frontend and recovery workspaceJames Eversole22+27-2488
2026-10-14 23:55Migrate remaining behavior tests and remove recovery test bridgesJames Eversole7+1121-1359
2026-10-14 23:41Retire historical frontend tests and self-hosting comparisonsJames Eversole2+31-772
2026-10-14 23:26Require complete provider identity for retained fixture reuseJames Eversole6+111-71
2026-10-14 22:59Move IO integration tests off the recovery frontendJames Eversole5+1343-1297
2026-10-14 22:53Compile conformance wrappers with the retained portable compilerJames Eversole4+166-80
2026-10-14 22:21Retire recovery compilation from parser tests and benchmark executionJames Eversole10+518-421
2026-10-14 20:49Invoke byte and HTTP fixture tests without recovery compilationJames Eversole5+546-597
2026-10-14 20:37Separate source-free runtime from recovery frontendJames Eversole20+436-339
2026-10-14 15:53Make rolling retention part of compiler checkpoint completionJames Eversole8+880-3
2026-10-14 13:42Bring bundle downloads to the forefrontJames Eversole9+217-81
2026-10-14 02:27Refresh authenticated demo-site compiler and immutable library releasesJames Eversole14+143-20
2026-10-14 02:01Publish verified compiler closure and relocate patterns to supportJames Eversole20+465-39
2026-10-14 01:12Remove fixture-only patterns dependency from IO compiler closureJames Eversole6+78-7
2026-10-13 23:31Merge branch 'main' into modernize-arboricxserver-deploymentJames Eversole53+1585-412
2026-10-13 23:31Modernize Arboricx registry deployment with a precompiled native bundleJames Eversole4+200-16
2026-10-13 23:02Merge branch 'explore-nameable-interaction-tree-structure'James Eversole11+764-4
2026-10-13 23:02Add read-only native interaction-tree inspectionJames Eversole11+764-4
2026-10-13 22:49Index compiler toolchains and practical libraries with 16 MiB package inputsJames Eversole42+821-408
2026-10-13 19:05Publish showcase packages and parser demo with clearer playground statesJames Eversole28+898-56
2026-10-13 17:54Make playground source-first and deduplicate program choicesJames Eversole12+369-134
2026-10-13 14:16Streamline browser compilation and expand tree exportsJames Eversole14+170-163
2026-10-13 12:05Simplify playground and exporter interfacesJames Eversole14+928-218
2026-10-13 01:39Upgrade playground compiler and publish immutable rebuilt releasesJames Eversole21+115-48
2026-10-13 01:20Publish reproduced stable compiler and rebuilt support cohortJames Eversole77+8760-8175
2026-10-13 00:05Add native packages and reproducible workspaces; unify playground and factor pattern dispatchJames Eversole84+6679-740
2026-10-12 12:32Fix local Markdown links for stagit HTML pagesJames Eversole24+111-285
2026-10-12 01:30Doc link fixesJames Eversole1+10-10
2026-10-12 01:14Self-hosted compiler and Arboricx toolchainJames Eversole849+101463-5775
2026-09-23 21:36Documentation cleanupJames Eversole1+2-6
2026-09-09 13:26Fix arboricxServer import and demo import statementsJames Eversole11+12-11
2026-09-08 20:51Fix interaction tree demos and HTTP recv 4096James Eversole10+10-10
2026-09-01 13:50Contract system: merged base library, definition attachment, and runtime guard kernelJames Eversole32+1145-862
2026-08-31 20:24Begin removing view related code and docsJames Eversole59+1732-7693
2026-07-10 23:26Back out the worst of the unsound nonsenseJames Eversole9+152-1297
2026-07-08 15:27Explicit local bindings for let/whereJames Eversole6+60-6
2026-06-22 22:26Some REPL nicetiesJames Eversole3+184-30
2026-05-25 22:54Useful but limited polymorphismJames Eversole18+1781-130
2026-05-25 17:43Tricu 2.0.0James Eversole105+10156-1955
2026-05-22 23:23Ergonomic language features and lib cleanupJames Eversole17+1035-585
2026-05-21 22:09Fix HTTP body framing and eliminate request over-readJames Eversole1+116-49
2026-05-21 20:25Packaging: Fully static Haskell builds and webappJames Eversole6+96-55
2026-05-21 16:38Fully normalized top-level definitionsJames Eversole11+613-545
2026-05-20 20:52(: Aiche Tee Tee Pee :)James Eversole31+2984-1531
2026-05-20 01:24Prelude and demo import cleanupJames Eversole7+12-12
2026-05-20 01:04A bit of library clean-upJames Eversole4+16-318
2026-05-19 22:30Helpful library updatesJames Eversole11+1687-969
2026-05-19 22:00Event loop!James Eversole5+622-11
2026-05-18 23:28Strings for IO driver errorsJames Eversole6+69-102
2026-05-16 19:29Sane parser rewriteJames Eversole7+498-344
2026-05-16 14:33Several subtle IODriver bug fixesJames Eversole6+315-299
2026-05-16 02:41Interaction Trees in Zig and simple benchmarksJames Eversole17+2160-62
2026-05-14 00:39Update demos and adds <|James Eversole14+336-130
2026-05-13 16:02CPS IO -> Async Interaction Tree Effect RuntimeJames Eversole6+1969-121
2026-05-13 00:02Explicit filesystem permissions requiredJames Eversole5+151-44
2026-05-12 23:38Interaction Tree IOJames Eversole8+349-20
2026-05-12 00:53Arboricx bundle format 1.1James Eversole45+3996-7090
2026-05-11 20:29CLI rewriteJames Eversole8+441-330
2026-05-11 18:07Simple PHP web demoJames Eversole7+186-83
2026-05-11 14:18Use new FFI for Arborix in PHP hostJames Eversole8+298-599
2026-05-11 02:21Native Arboricx bundle parser and C ABI in ZigJames Eversole27+5365-18
2026-05-10 21:56Fix space leak by switching to objectsJames Eversole5+201-125
2026-05-10 19:52PHP host shell cleanup and docsJames Eversole4+103-431
2026-05-10 14:10Fix fuel implementation in PHPJames Eversole3+20-27
2026-05-10 01:22Initial PHP host implementationJames Eversole7+920-5
2026-05-09 23:36Tiny README updateJames Eversole1+5-27
2026-05-09 23:33Host ABI definition and ergonomics in TCJames Eversole4+540-50
2026-05-09 23:18Small host execution ergosJames Eversole4+510-26
2026-05-09 22:43Full Arboricx parsing in tricuJames Eversole7+1594-653
2026-05-09 17:30Drop CBOR for simple custom manifestJames Eversole13+936-860
2026-05-08 14:12Arborix -> Arboricx renameJames Eversole31+1259-1268
2026-05-08 02:41Switch manifest serialization to CBORJames Eversole23+994-281
2026-05-07 19:21Add Arborix bundle parsing and reconstructionJames Eversole11+1179-91
2026-05-07 17:28Add Arborix section directory byte readersJames Eversole2+177-0
2026-05-07 16:04Fix freeVars, toSKIDBJames Eversole2+35-220
2026-05-07 15:07Data-first recursive consumers in readBytesJames Eversole5+319-47
2026-05-07 13:15Idiomatic naming in libsJames Eversole3+16-16
2026-05-07 01:10Beginning Arborix work in tricuJames Eversole4+345-4
2026-05-07 00:23Tree-native binary processingJames Eversole2+82-0
2026-05-06 23:53Tree-native byte processingJames Eversole3+256-0
2026-05-06 22:25Byte marshallingJames Eversole2+153-0
2026-05-06 20:30Support multiple named exports globallyJames Eversole5+125-44
2026-05-06 19:40Drop slopdashes and add container buildJames Eversole3+35-6
2026-05-06 00:16Wire format, JS runtime, and Arborix bundle export serverJames Eversole29+3369-67
2026-05-05 23:30Zero Warnings PlanJames Eversole11+343-155
2026-05-05 19:51Picking development back upJames Eversole7+413-124
2025-08-07 20:16"size" function nodes down from 454 to 321James Eversole1+72-1
2026-05-05 17:43Full Merkle tree resolutionJames Eversole5+183-88
2025-05-29 18:31Update READMEJames Eversole2+7-3
2025-05-22 21:52Update README and !help; fix list and name lookupsJames Eversole5+37-23
2025-05-22 21:13Merge content storeJames Eversole13+1002-220
2026-05-05 15:02Documentation updatesJames Eversole1+3-24
2025-04-24 17:14Clean up and list SKI conversion fixJames Eversole6+141-81
2025-04-16 19:23Updates to demosJames Eversole7+61-39
2025-04-15 15:52String escaping using backslashJames Eversole3+33-8
2025-04-15 15:34Drop backslash from lambda definitionsJames Eversole16+181-183
2025-02-08 00:32REPL import cleanupJames Eversole3+10-13
2025-02-08 00:25Adds several new REPL utilitiesJames Eversole4+96-37
2025-02-07 21:04Smarter decoding of termsJames Eversole4+93-32
2025-02-07 18:37Lint cleanup and README updatesJames Eversole4+22-16
2025-02-06 14:32Clearer definition for applyJames Eversole3+36-27
2025-02-02 18:08Support for list literals in LambdasJames Eversole3+8-1
2025-02-02 16:50REPL namespaces; lib function for pattern matchingJames Eversole11+165-81
2025-01-30 23:56Caller-relative imports; smart deduping in importsJames Eversole19+183-205
2025-01-30 23:17Replace placeholder xor? library functionJames Eversole2+11-6
2025-01-30 20:19REPL import warning; version info in CLIJames Eversole11+142-61
2025-01-30 19:56Rework module systemJames Eversole34+222-243
2025-01-27 22:46Better handling of interrupts in REPLJames Eversole4+30-23
2025-01-27 22:28Don't require available library to run REPL or decoderJames Eversole2+3-5
2025-01-27 22:19Gracefully ignore no-op redefsJames Eversole1+16-16
2025-01-27 22:04Module system implementationJames Eversole28+373-105
2025-01-26 22:06Small dependency ordering optimizationsJames Eversole2+30-26
2025-01-26 21:33File eval mode now relies on main functionJames Eversole16+39-58
2025-01-26 20:50Definition dependency analysisJames Eversole10+174-86
2025-01-26 14:52Allow lambda expressions without explicit parenJames Eversole9+63-87
2025-01-25 21:12Add optimization cases for triage and compositionJames Eversole3+24-12
2025-01-25 15:18Eval optimization! Tests for demosJames Eversole6+70-45
2025-01-24 22:14Immutable definitions and documentation updatesJames Eversole6+137-32
2025-01-24 00:57Add size demoJames Eversole3+23-1
2025-01-23 23:59Remove Nix caching that can't work due to /nix/store permissionsJames Eversole1+0-20
2025-01-23 23:31Update README to reflect demoJames Eversole2+7-7
2025-01-23 23:13Minify and mark as pre-releaseJames Eversole2+11-7
2025-01-23 22:07Release 0.6.0James Eversole2+23-25
2025-01-23 21:46Some special characters in ids; new demosJames Eversole8+208-135
2025-01-21 22:58All paths for caching cabal included :)James Eversole1+12-10
2025-01-21 22:49Use runner 0.1.0James Eversole1+2-2
2025-01-21 22:28Update Cabal caching pathJames Eversole1+3-3
2025-01-21 22:16Drop unreachable cases of updateDepthJames Eversole2+5-9
2025-01-21 22:06Add more explicit error handling for mismatched groupingsJames Eversole2+56-34
2025-01-21 20:21Inline pattern matching in ParserJames Eversole2+46-52
2025-01-21 19:29CI/CD for tests and builds (broken caching)James Eversole1+86-0
2025-01-21 02:10Actually readable Level Order TraversalJames Eversole1+35-6
2025-01-21 01:20Allow multiline expressionsJames Eversole7+345-271
2025-01-20 22:05Eliminate redundant eager calls of elimLambdaJames Eversole1+5-8
2025-01-20 21:16Reduce duplication of elimLambda callsJames Eversole2+7-7
2025-01-19 20:41General refactor for legibilityJames Eversole6+127-171
2025-01-06 15:140.5.0 release commitJames Eversole2+1-9
2025-01-03 17:42Level Order Traversal demoJames Eversole2+40-0
2025-01-03 16:31Drop parseVarWithoutAssignmentJames Eversole4+12-17
2025-01-03 01:08Fix critical list evaluation bug and REPL updatesJames Eversole7+59-65
2025-01-02 01:40Use better default output form in evaluatorJames Eversole2+5-5
2025-01-02 01:32Clarify CLI optionsJames Eversole2+13-15
2025-01-02 01:27Support evaluation across multiple source filesJames Eversole1+26-35
2025-01-02 00:53Provide "library" via tricu file directlyJames Eversole7+80-64
2025-01-02 00:05Fixes identifier lexing; support REPL file loadingJames Eversole5+23-11
2025-01-01 14:34Normalize CLI options and help displayJames Eversole2+25-15
2025-01-01 14:17Rename "compiler" functionality to EvaluatorJames Eversole9+61-50
2024-12-31 16:09Latest --help in READMEJames Eversole1+3-2
2024-12-31 16:05Merge pull request 'Add "SimpleT" `t` output form' (#9) from feat/new-outputs into mainJames Eversole10+120-112
2024-12-31 16:04Merge branch 'main' into feat/new-outputsJames Eversole0+0-0
2024-12-31 16:00Add "SimpleT" `t` output formJames Eversole10+120-112
2024-12-30 20:24Merge pull request 'Expands CLI support with output forms and decoding' (#7) from feat/ternary-representation into mainJames Eversole14+176-60
2024-12-30 20:19Expands CLI support with output forms and decodingJames Eversole13+131-57
2024-12-30 14:30Initial ternary representation optionsJames Eversole4+45-3
2024-12-30 03:51Merge pull request 'Adds "compiler" and CLI argument handling' (#3) from feature/compiler-CLI into mainJames Eversole7+70-13
2024-12-30 03:49Adds "compiler" and CLI argument handlingJames Eversole7+70-13
2024-12-30 03:09Updates to testsJames Eversole1+5-10
2024-12-30 03:03Merge pull request 'Resolves issue with parsing comments' (#2) from fix/comments-0001 into mainJames Eversole7+82-69
2024-12-30 02:29Resolves issue with parsing commentsJames Eversole7+82-69
2024-12-29 18:22Additional testsJames Eversole4+17-7
2024-12-29 16:41README updates for run/buildJames Eversole1+4-2
2024-12-29 16:37README clarificationsJames Eversole1+5-5
2024-12-29 16:28Expansion of testing suite to cover incl. libraryJames Eversole5+118-46
2024-12-29 14:29Rename from sapling to tricuJames Eversole11+197-196
2024-12-29 04:20Further README clarificationJames Eversole1+24-20
2024-12-29 03:58README updatesJames Eversole1+4-6
2024-12-28 13:24Stop using to/of conventions backwardsJames Eversole5+33-33
2024-12-28 13:15Support for single line comment syntax using --James Eversole2+13-3
2024-12-28 02:54Update README and REPL formatting for list outputsJames Eversole2+16-14
2024-12-28 02:46Update lambda handling; better default decode outJames Eversole5+72-66
2024-12-28 01:27Further library additions and REPL updatesJames Eversole4+21-14
2024-12-27 22:30Include equality testing in basic libraryJames Eversole4+56-67
2024-12-27 22:09Minor fix to REPL output for numbersJames Eversole2+31-10
2024-12-27 21:40Automatic decoding of supported literals in REPLJames Eversole6+86-23
2024-12-27 20:10Tests and better default REPL behaviorJames Eversole5+62-48
2024-12-27 18:27Somewhat working lambdasJames Eversole5+419-335
2024-12-27 14:17Stop using lists to represent argsJames Eversole7+400-300
2024-12-20 19:00Drop useless commentsJames Eversole1+0-5
2024-12-20 17:380.2.0James Eversole8+234-136
2024-12-20 03:13Reserve __result keywordJames Eversole1+2-2
2024-12-20 02:26Additional test coverage for lexing and parsingJames Eversole2+40-3
2024-12-20 02:21Additional testsJames Eversole1+31-0
2024-12-20 01:53Additional test cases and bug fixes for subtle issuesJames Eversole2+30-2
2024-12-20 01:08FormattingJames Eversole2+6-2
2024-12-20 00:570.1.0 base collection of featuresJames Eversole6+163-24
2024-12-19 01:41Clean upJames Eversole4+6-39
2024-12-19 01:15Add README and LICENSE filesJames Eversole3+27-2
2024-12-19 00:55Initialize RepoJames Eversole11+688-0