3 Pull requests merged by 1 person

• feat: Add hex encoding to Util

  #119 merged May 7, 2025

• chore: Add gunzip to Gzip library, refactor lakefiles

  #118 merged May 7, 2025

• chore: make a util C library for Lean FFI

  #117 merged May 6, 2025

5 Pull requests opened by 2 people

• Allow Tensor.store API to receive .var as value

  #120 opened May 7, 2025

• chore: resize archive buffer

  #121 opened May 8, 2025

• chore: fix path to ffi-util

  #122 opened May 8, 2025

• chore: remove NEFF details

  #123 opened May 8, 2025

• feat: ListJson - control the order of json object keys

  #124 opened May 8, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add tracing support for `mgrid` and advanced tensor indexing

  #111 commented on May 7, 2025 • 3 new comments

• feat: Add C strdup()

  #112 commented on May 8, 2025 • 0 new comments