patch-seq

navicore/patch-seq

Fork 0

139 releases 142 tags

RSS feed

v5.6.1 d6c8537719

v5.6.1 and or not repl IR UI stack effect fix Stable
navicore released this 2026-04-24 00:12:29 +00:00 | 124 commits to main since this release
What's Changed
- diagram by @navicore in https://github.com/navicore/patch-seq/pull/420
- And bool by @navicore in https://github.com/navicore/patch-seq/pull/421
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.6.0...v5.6.1

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-24 00:30:19 +00:00 · 4.1 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-24 00:30:19 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-24 00:30:19 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-24 00:30:19 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-24 00:30:19 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-24 00:30:19 +00:00 · 52 MiB

v5.6.0 cc54569d0a

v5.6.0 major code refactoring for maintainability Stable
navicore released this 2026-04-23 17:19:37 +00:00 | 132 commits to main since this release
What's Changed
- Runtime split done by @navicore in https://github.com/navicore/patch-seq/pull/407
- Specialization.rs split by @navicore in https://github.com/navicore/patch-seq/pull/408
- mod by @navicore in https://github.com/navicore/patch-seq/pull/409
- Typechecker phase 1 by @navicore in https://github.com/navicore/patch-seq/pull/410
- phase 2 by @navicore in https://github.com/navicore/patch-seq/pull/411
- Typechecker phase 3 by @navicore in https://github.com/navicore/patch-seq/pull/412
- runtime by @navicore in https://github.com/navicore/patch-seq/pull/413
- Runtime phase 2 by @navicore in https://github.com/navicore/patch-seq/pull/414
- Core phase 1 by @navicore in https://github.com/navicore/patch-seq/pull/415
- lsp by @navicore in https://github.com/navicore/patch-seq/pull/416
- Repl pass 1 by @navicore in https://github.com/navicore/patch-seq/pull/417
- Audit vim line by @navicore in https://github.com/navicore/patch-seq/pull/418
- grammar by @navicore in https://github.com/navicore/patch-seq/pull/419
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.5.1...v5.6.0

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-23 19:35:17 +00:00 · 4.1 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-23 19:35:17 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-23 19:35:17 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-23 19:35:17 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-23 19:35:17 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-23 19:35:17 +00:00 · 52 MiB

v5.5.1 ad2058af47

v5.5.1 float comparator bug fix Stable
navicore released this 2026-04-21 03:19:06 +00:00 | 191 commits to main since this release
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.5.0...v5.5.1

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-21 03:41:24 +00:00 · 4.2 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-21 03:41:24 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-21 03:41:24 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-21 03:41:24 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-21 03:41:24 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-21 03:41:24 +00:00 · 52 MiB

v5.5.0 7a46561202

v5.5.0 reverse capture fix Stable
navicore released this 2026-04-15 03:04:55 +00:00 | 193 commits to main since this release
What's Changed
- rev by @navicore in https://github.com/navicore/patch-seq/pull/404
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.4.1...v5.5.0

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-15 03:22:26 +00:00 · 4.2 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-15 03:22:26 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-15 03:22:26 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-15 03:22:26 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-15 03:22:26 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-15 03:22:26 +00:00 · 52 MiB

v5.4.1 dcf92b0ab4

v5.4.1 rand update Stable
navicore released this 2026-04-14 06:45:07 +00:00 | 198 commits to main since this release
What's Changed
- Bump rand from 0.8.5 to 0.9.3 by @dependabot[bot] in https://github.com/navicore/patch-seq/pull/403
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.4.0...v5.4.1

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-14 07:03:54 +00:00 · 4.2 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-14 07:03:55 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-14 07:03:54 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-14 07:03:54 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-14 07:03:54 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-14 07:03:55 +00:00 · 52 MiB

v5.4.0 5d58675ee0

v5.4.0 auto-capture and int-fold Stable
navicore released this 2026-04-14 06:30:49 +00:00 | 202 commits to main since this release
What's Changed
- https://github.com/navicore/patch-seq/issues/393 by @navicore in https://github.com/navicore/patch-seq/pull/398
- loop combinators by @navicore in https://github.com/navicore/patch-seq/pull/399
- ⏺ auto capture by @navicore in https://github.com/navicore/patch-seq/pull/400
- int-fold by @navicore in https://github.com/navicore/patch-seq/pull/401
- int-fold-more by @navicore in https://github.com/navicore/patch-seq/pull/402
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.3.0...v5.4.0
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads

v5.3.0 912b1da219

v5.3.0 main exit code fix Stable
navicore released this 2026-04-11 15:39:56 +00:00 | 224 commits to main since this release
What's Changed
- Shamir's Secret Sharing example by @navicore in https://github.com/navicore/patch-seq/pull/396
- exit code bug fix by @navicore in https://github.com/navicore/patch-seq/pull/397
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.2.1...v5.3.0

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-11 15:57:49 +00:00 · 4.2 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-11 15:57:49 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-11 15:57:49 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-11 15:57:49 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-11 15:57:49 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-11 15:57:49 +00:00 · 52 MiB

v5.2.1 152def003e

v5.2.1 fix repl math sugar bug Stable
navicore released this 2026-04-05 04:50:29 +00:00 | 238 commits to main since this release
What's Changed
- fix: pass resolved math sugar to codegen in REPL by @navicore-bot in https://github.com/navicore/patch-seq/pull/392
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.2.0...v5.2.1

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-05 05:11:59 +00:00 · 4.2 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-05 05:11:59 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-05 05:11:59 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-05 05:11:59 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-05 05:11:59 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-05 05:11:59 +00:00 · 52 MiB

v5.2.0 26e19f37e6

v5.2.0 arithmetic sugar Stable
navicore released this 2026-04-01 04:43:41 +00:00 | 241 commits to main since this release
What's Changed
- ci: pin Rust toolchain to 1.93.0 in all workflows by @navicore-bot in https://github.com/navicore/patch-seq/pull/387
- error_flag_lint.rs — new abstract stack simulation pass that tracks… by @navicore in https://github.com/navicore/patch-seq/pull/388
- Hover doc enhancement — every fallible builtin now has a doc string… by @navicore in https://github.com/navicore/patch-seq/pull/389
- sugar works by @navicore in https://github.com/navicore/patch-seq/pull/390
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.1.1...v5.2.0

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-04-01 05:01:34 +00:00 · 4.1 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-04-01 05:01:34 +00:00 · 4 MiB
- seqc-linux-x86_64
  0 downloads · 2026-04-01 05:01:34 +00:00 · 57 MiB
- seqc-macos-arm64
  0 downloads · 2026-04-01 05:01:35 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-04-01 05:01:34 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-04-01 05:01:35 +00:00 · 51 MiB

v5.1.1 f8b498dbee

v5.1.1 fix publsh bug Stable
navicore released this 2026-03-30 00:33:32 +00:00 | 254 commits to main since this release
What's Changed
- lint by @navicore in https://github.com/navicore/patch-seq/pull/385
- fix: make release publishing resilient to restarts by @navicore-bot in https://github.com/navicore/patch-seq/pull/386
Full Changelog: https://github.com/navicore/patch-seq/compare/v5.1.0...v5.1.1

Binary Downloads

Pre-built binaries are available for:
- Linux x86_64 (statically linked, works on any Linux)
- macOS ARM64 (Apple Silicon)
- macOS x86_64 (Intel, if available)
Installation
```
chmod +x seqc-* seq-lsp-* seqr-*
```
macOS Quarantine

macOS quarantines unsigned binaries. After downloading, remove the quarantine:
```
xattr -d com.apple.quarantine ./seqc-macos-*
xattr -d com.apple.quarantine ./seq-lsp-macos-*
xattr -d com.apple.quarantine ./seqr-macos-*
```
Linux

The Linux binaries are statically linked and should run on any x86_64 Linux system without additional dependencies.
Downloads
- Source code (ZIP)
  0 downloads
- Source code (TAR.GZ)
  0 downloads
- seq-lsp-linux-x86_64
  0 downloads · 2026-03-30 00:51:03 +00:00 · 4.1 MiB
- seq-lsp-macos-arm64
  0 downloads · 2026-03-30 00:51:03 +00:00 · 3.9 MiB
- seqc-linux-x86_64
  0 downloads · 2026-03-30 00:51:03 +00:00 · 58 MiB
- seqc-macos-arm64
  0 downloads · 2026-03-30 00:51:03 +00:00 · 51 MiB
- seqr-linux-x86_64
  0 downloads · 2026-03-30 00:51:03 +00:00 · 58 MiB
- seqr-macos-arm64
  0 downloads · 2026-03-30 00:51:03 +00:00 · 51 MiB

1 2 3 4 5 ...

v5.6.1 and or not repl IR UI stack effect fix Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.6.0 major code refactoring for maintainability Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.5.1 float comparator bug fix Stable

Binary Downloads

Installation

macOS Quarantine

Linux

v5.5.0 reverse capture fix Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.4.1 rand update Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.4.0 auto-capture and int-fold Stable

What's Changed

v5.3.0 main exit code fix Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.2.1 fix repl math sugar bug Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.2.0 arithmetic sugar Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux

v5.1.1 fix publsh bug Stable

What's Changed

Binary Downloads

Installation

macOS Quarantine

Linux