Dev tools · alternatives · 2026
24 alternatives to Distributed SAT solver in Elixir
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
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Prices are shown for the 1 we have checked on their own sites, 1 of them free or with a free tier. Distributed SAT solver in Elixir launched in 2016; newer entries below may have overtaken it.
- 1
The video demo runs a 7b Model on a normal gaming GPU. I think it already works quite well (accounting for the limited hardware power). :)
2024 · github.com · its alternatives →
- 2
Hello everyone! I'm currently in a journey to learn and improve my Elixir and Go skills (my daily job uses C++) and looking through my backlog for projects to take on I decided Elixir is the perfect language to write a highly-parallel BitTorrent tracker. So I have spent my free time these last 3 months writing one! Now I think it has enough features to present it to the world (and a docker image to give it a quick try). I know some people see trackers as relics of the past now that DHT and PEX are common but I think they still serve a purpose in today's Internet (purely talking about public…
2025 · github.com · its alternatives →
- 3
Tiny & fast WebAssembly edge compute server. Contribute to suborbital/sat development by creating an account on GitHub.
2021 · github.com · its alternatives →
- 4GI
Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D
2023 · its alternatives →
- 5
Everything that would be here is in the README. I hope this gets big, it has tons of potential.
2013 · github.com · its alternatives →
- 6
- 7RM
2021 · hexdocs.pm · its alternatives →
- 8
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
- 9
I've been exploring the (not so=) amazing potential of AI in coding and have compiled a list of tools. From AI-powered IDEs to code generators, this resource is my contribution to the community. I'm still on the fence about including txt2sql projects, as their functionality seems too basic to me. And I'm personally maintaining this, so your feedback is wellcome.
2025 · aicode.danvoronov.com · its alternatives →
- 10
Let the adaptive algorithms help you prep for SAT math
2018 · apps.apple.com · its alternatives →
- 11
Fast equality saturation in Haskell
2022 · hackage.haskell.org · its alternatives →
- 12
Hi HN, I'm a 19-year-old aerospace student. I spent the last 13 months building a custom Linux distro from scratch because I wanted to see if we could treat the OS kernel as a mathematical engine rather than a deterministic administrator. The Stack: Flux (The Shell): A custom math-native shell where x² and ∑ are valid syntax. It parses mathematical notation directly into optimized SIMD instructions (no Python wrapper). Tenet (The Scheduler): Written in Tenet (my custom DSL for game theory). The scheduler is a Nash Equilibrium solver compiled to native code. In my benchmarks (Ryzen 7 5800HS),…
Feb 2026 · fawazishola.ca · its alternatives →
- 13
Hi HN, Last month, I have worked with my team here at Amy.app to make a stand-alone SAT Tutor. I'm pretty excited about this product, as it's our first attempt to make a stand-alone product targeted directly at students. So far all our products were targeted at teachers/schools/publishers. But we never found product-market fit ¯\_(ツ)_/¯ Our SAT-Math tutor is designed to find your knowledge gaps and gets you up-to-speed as fast as possible. We believe it offers a fresh approach on how online learning usually works. Please let me know what you think. The product has a 3 days…
2023 · sat.amy.app · its alternatives →
- 14
SAT solver library in Go; wraps around Google's Operational Research Tools - irfansharif/solver
2021 · github.com · its alternatives →
- 15
Yet another open source forum written in Golang, React and PostgreSQL. - satellity/satellity
2019 · github.com · its alternatives →
- 16
Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time to properly lay out its foundations for classical propositional logic. We cast propositional logic into a formal algebra where logical formulas are represented by sparse matrices. State Algebra isn't an algorithm in itself, but rather a language for manipulating Boolean functions. It provides a new set of tools that lets you express and reformulate existing optimization heuristics (like those from modern SAT…
2025 · arxiv.org · its alternatives →
- 17
This weekend I built a multi-agent coding system which, quite unexpectedly, beat Claude Code on Stanford's Terminal Bench! The architecture is straightforward, consisting of an orchestrator agent that deploys explorer & coder subagents to complete complex terminal based tasks, utilising an intelligent context sharing mechanism along the way which makes it all work. The repo has a lot of technical details, and all the code and prompts for you to play around with if you'd like! I had a lot of fun making this, I hope you have fun reading the README, using it yourself, or even extending it! As…
2025 · github.com · its alternatives →
- 18
Classic physics engine algorithms — SAT collision detection and Morton Z-curve indexing — become viable on-chain primitives only where the execution model supports dynamic object access at runtime. Here's why EVM, Solana, and Aptos can't run them, and Sui can.
Apr 2026 · docs.merca.earth · its alternatives →
- 19OS
We’ve just released an open-source library for solving the Maximum Independent Set (MIS) problem with neutral atom quantum computing, running on both quantum processing units (QPUs) and classical hardware, thanks to emulators. This project is the result of collaboration between Pasqal, academic researchers, and industry partners, aiming to make it practical to experiment with quantum approaches to hard combinatorial optimization tasks. The MIS problem appears in real-world scenarios like scheduling, resource allocation, and network optimization, areas where classical solvers often struggle…
2025 · its alternatives →
- 20AF
2017 · medium.com · its alternatives →
- 21
- 22IM
Hi, I built a job board focused on positions where Elixir is a core requirement. During my job search I realized how frustrating that Elixir was often just a nice to have but not a main requirement. So I started posting jobs where Elixir is a primary skill. Whenever I find a relevant position I verify it and post it on the site. elixir-careers.com I believe that Elixir will be more and more popular from now on since huge companies are finally adopting it
2024 · elixir-careers.com · its alternatives →
- 23
Hey folks, I’m the creator of WFGY — a semantic reasoning framework for LLMs. After open-sourcing it, I did a full technical and value audit — and realized this engine might be worth $8M–$17M based on AI module licensing norms. If embedded as part of a platform core, the valuation could exceed $30M. Too late to pull it back. So here it is — fully free, open-sourced under MIT. --- ### What does it solve? Current LLMs (even GPT-4+) lack *self-consistent reasoning*. They struggle with: - Fragmented logic across turns - No internal loopback or self-calibration - No modular thought units - Weak…
2025 · github.com · its alternatives →
- 24
Also compare
- I've built a locally running Perplexity clone alternatives
- I wrote a new BitTorrent tracker in Elixir alternatives
- Sat, the tiny WebAssembly compute module alternatives
- Going into freshman year, figured I should build an interpreter alternatives
- I started a repo for sharing algorithm implementations alternatives
- Programming Elixir 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 →