Life & fun · alternatives · 2026
24 alternatives to SAT Solver/Constraint Programming library in Go
SAT solver library in Go; wraps around Google's Operational Research Tools - irfansharif/solver
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. SAT Solver/Constraint Programming library in Go launched in 2021; newer entries below may have overtaken it.
- 1
This started as a hard requirement for my TUI-based editor application, it ended up going in a few different directions. A suite of tools that help with semantic code entities: https://github.com/odvcencio/gts-suite A next-gen version control system called Got: https://github.com/odvcencio/got I think this has some pretty big potential! I think there's many classes of application (particularly legacy architecture) that can benefit from these kinds of analysis tooling. My next post will be about composing all these together, an exciting project I call…
Feb 2026 · github.com · its alternatives →
- 2
The authoritative resource for learning Go
2016 · amazon.com · its alternatives →
- 3
Library for interacting with LLVM IR in pure Go. Contribute to llir/llvm development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 4
A SDK for access control policies: authorization for the microservice and IoT age. Inspired by AWS IAM policies. Written for Go. - ory/ladon
2017 · github.com · its alternatives →
- 5
Hey HN, I just published v0.1.0 of go-bt and would love some feedback from the Go veterans here. Thanks in advance!
Apr 2026 · github.com · its alternatives →
- 6
Minimal and idiomatic WebSocket library for Go. Contribute to coder/websocket development by creating an account on GitHub.
2019 · github.com · its alternatives →
- 7
- 8ST
GoThrough hosts a searchable index of exported members in the Go standard library and a selection of hosted packages.
2023 · gothrough.dev · its alternatives →
- 9
Learn how to build your own programming language interpreter
2016 · interpreterbook.com · its alternatives →
- 10
Lisp 2 Go. Contribute to codr7/g-fu development by creating an account on GitHub.
2019 · github.com · its alternatives →
- 11
A finite-state machine library for the Go programming language - calebwin/go-sm
2018 · github.com · its alternatives →
- 12
A simple utility for running exhaustiveness checks on Go "sum types." - BurntSushi/go-sumtype
2017 · github.com · its alternatives →
- 13IC
A friend and I wrote a book on how to build and train Deep Learning models in Go. We wanted it to be a useful reference for deep learning basics for Go programmers. Deep Learning is slowly seeping into everything we use every day and we thought it would be great if more people could do it in Go. The book is available here and on Amazon as well. https://www.packtpub.com/big-data-and-business-intelligence/hands-deep-learning-go We would appreciate any feedback and we're always looking to improve.
2019 · its alternatives →
- 14
Frustrated by the inability to play with semantic search / ANN in Go w/o a heavy-weight external DB, I created this HNSW library. I hope other gophers find it useful.
2024 · github.com · its alternatives →
- 15AG
2022 · convey.earth · its alternatives →
- 16
A Go library that implements Consistent Hashing and Consistent Hashing With Bounded Loads. - lafikl/consistent
2017 · github.com · its alternatives →
- 17
Go 1.26 adds native SIMD via GOEXPERIMENT=simd. This library provides a portability layer so the same code runs on AVX2, AVX-512, or falls back to scalar. Inspired by Google's Highway C++ library. Includes vectorized math (exp, log, sin, tanh, sigmoid, erf) since those come up a lot in ML/scientific code and the stdlib doesn't have SIMD versions. algo.SigmoidTransform(input, output) Requires go1.26rc1. Feedback welcome.
Jan 2026 · github.com · its alternatives →
- 18
Yet another open source forum written in Golang, React and PostgreSQL. - satellity/satellity
2019 · github.com · its alternatives →
- 19
Everything that would be here is in the README. I hope this gets big, it has tons of potential.
2013 · github.com · its alternatives →
- 20
Parser combinator library for RIR statistics exchange files - GitHub - ip-num-tools/ristex: Parser combinator library for RIR statistics exchange files
2019 · github.com · its alternatives →
- 21
Tiny & fast WebAssembly edge compute server. Contribute to suborbital/sat development by creating an account on GitHub.
2021 · github.com · its alternatives →
- 22
Define and run pattern-based custom linting rules. - quasilyte/go-ruleguard
2020 · github.com · its alternatives →
- 23SA
Hey HN, I’m a physicist turned quant. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans. It boils down to two main goals: 1. Agent Reliability: I’ve found that AI agents write much more reliable code when they stick to stateless, functional pipelines (Lisp-style). It keeps them from hallucinating state changes or getting lost in long procedural scripts. I wanted a library that enforces that "Input -> Transform -> Output" flow by default. 2. Easing the transition to Python: For many…
Feb 2026 · its alternatives →
- 24DS
Hi, I wrote a distributed SAT solver in Elixir to get a feel of the language, perhaps someone out there might find this interesting. I really don't know if this can be a economic approach to SAT solving. https://github.com/roehst/elisat
2016 · its alternatives →
Also compare
- I ported Tree-sitter to Go alternatives
- The Go Programming Language alternatives
- A pure Go library for interacting with LLVM IR alternatives
- A Go Library for Better Access Control alternatives
- Go-Bt: Minimalist Behavior Trees for Go alternatives
- A minimal and idiomatic WebSocket library for Go alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →