aboutsummaryrefslogtreecommitdiffstats
path: root/bin (unfollow)
Commit message (Expand)AuthorFilesLines
2026-04-03Polarity walker, constraint and manipulation refactor with batteriesMarcos Magueta1-6/+0
2026-03-24Session with stream control sublanguage (#55)Marcos Magueta1-1/+31
2026-03-23Constraint walker and polarity analysisMarcos Magueta3-2/+210
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta1-241/+95
2026-03-14Branching and naïve merge strategiesMarcos Magueta1-24/+95
2026-03-11server with examplesMarcos Magueta1-51/+44
2026-03-11examples on serverMarcos Magueta1-2/+134
2026-03-09defenestrate jsonMarcos Magueta1-63/+30
2026-03-08format todos and comment improvementMarcos Magueta1-45/+25
2026-03-08serverMarcos Magueta2-0/+260
2026-03-06use magic to cast types to opaque attributesMarcos Magueta1-5/+5
2026-03-06encode relations on module baseMarcos Magueta1-0/+5
2026-03-06relation typeMarcos Magueta2-6/+1
2026-03-05ocaml re-migrationMarcos Magueta2-0/+18
2025-11-11migrating to erlang to attach to mnesiaMarcos Magueta2-11/+0
2024-10-27State of the world with Merkle Tree composition of files (#2)Marcos Magueta2-2/+2
2024-10-26Basic storage with C interop (#1)Marcos Magueta1-2/+5
2024-10-16dune environment vars with flake and C++ interop with stubsMarcos Magueta2-1/+4
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-06 12:06:46 +0000