Issues

• Proposal for terminology

  coln-project/Coln#180 · Filter by author DavidJaz opened on Oct 5, 2026
  3

• replace modality modes ^i/^c with rigid/flex keywords and rename modalities

  coln-compilerfnotationparser
  coln-project/Coln#179 · Filter by author BennoLossin opened on Sep 25, 2026
  

• Remove OwnedTransaction in favour of AutoStore

  coln-store
  coln-project/Coln#172 · Filter by author incipit0 opened on Sep 23, 2026

• Proposed Realm Bindings output

  coln-project/Coln#170 · Filter by author acurrieclark opened on Sep 23, 2026
  4

• Branching API in coln-store

  coln-store
  coln-project/Coln#169 · Filter by author incipit0 opened on Sep 23, 2026

• Rewrite the encoding and decoding logic to be more uniformed?

  coln-store
  coln-project/Coln#168 · Filter by author incipit0 opened on Sep 21, 2026

• Unsafe apply fast path in coln-store

  coln-store
  coln-project/Coln#167 · Filter by author incipit0 opened on Sep 21, 2026

• Smoother realm declaration syntax

  coln-compilerfnotation
  coln-project/Coln#166 · Filter by author mvr opened on Sep 18, 2026
  2

• Add FlatRealm name to WASM IR output

  coln-project/Coln#161 · Filter by author acurrieclark opened on Sep 10, 2026

• Different notation for theory-level and set-level records

  coln-compiler
  coln-project/Coln#157 · Filter by author olynch opened on Sep 8, 2026

• Allow single-line blocks in f-notation

  coln-compilerfnotation
  coln-project/Coln#150 · Filter by author mvr opened on Sep 7, 2026
  1

• Reject more shadowing

  coln-project/Coln#147 · Filter by author olynch opened on Sep 4, 2026

• Expose pending changes within a transaction

  coln-store
  coln-project/Coln#142 · Filter by author incipit0 opened on Sep 3, 2026

• Add buffering capability to coln-store

  coln-store
  coln-project/Coln#141 · Filter by author incipit0 opened on Sep 3, 2026

• Optimise coln-store's insertion speed

  coln-store
  coln-project/Coln#126 · Filter by author incipit0 opened on Aug 13, 2026

• Ideas for coln-compiler's FLIR (JSON) output

  coln-compilergood first issuelowerer
  Feature

  coln-project/Coln#125 · Filter by author lstwn opened on Aug 13, 2026
  

• Clean up the tests in coln-store

  coln-store
  coln-project/Coln#123 · Filter by author incipit0 opened on Aug 10, 2026

• Add more logging to coln-store

  coln-store
  coln-project/Coln#115 · Filter by author incipit0 opened on Aug 4, 2026

• Implement SortedTable trait for coln-store

  coln-store
  coln-project/Coln#113 · Filter by author incipit0 opened on Aug 3, 2026

• Expected failures to golden tests

  coln-project/Coln#108 · Filter by author olynch opened on Jul 27, 2026

• Use Bijou to do integer encoding

  coln-store
  coln-project/Coln#105 · Filter by author incipit0 opened on Jul 22, 2026

• Decide how to mangle names for TypeScript

  coln-project/Coln#96 · Filter by author mvr opened on Jul 16, 2026
  1

• Investigate mimalloc-rust-sys dependency not working with latest C standard

  coln-project/Coln#84 · Filter by author georgefst opened on Jul 2, 2026
  1

• Update manual to currently implemented features

  documentation
  coln-project/Coln#71 · Filter by author olynch opened on Jun 24, 2026

• Introduce deletion & update as operations

  coln-store
  coln-project/Coln#32 · Filter by author incipit0 opened on Jun 17, 2026