taw/z3 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

taw/z3

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/taw/z3)

Close

taw / z3View on GitHubMore

• External links
• Readme badge

Ruby bindings for Z3 constraint solver library

☆71Dec 21, 2025Updated 3 months ago

Alternatives and similar repositories for z3

Users that are interested in z3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• r7kamura / xrc

  View on GitHub
  XMPP Ruby Client.
  ☆35Jul 16, 2015Updated 10 years ago
• mattn / mruby-tflite

  View on GitHub
  MRuby binding for TensorFlow Lite
  ☆15Oct 26, 2022Updated 3 years ago
• manastech / crystal_redis

  View on GitHub
  Redis client for Crystal
  ☆13Nov 20, 2024Updated last year
• AndyObtiva / glimmer-dsl-css

  View on GitHub
  Glimmer DSL for CSS (Cascading Style Sheets)
  ☆12Aug 30, 2024Updated last year
• chikamichi / amb

  View on GitHub
  Ambiguous function/operator implementation in Ruby
  ☆46Sep 10, 2011Updated 14 years ago
• HertzDevil / crystal-android-hello-world

  View on GitHub
  Sample native Android app written in pure Crystal
  ☆16Mar 9, 2023Updated 3 years ago
• testdouble / magic_email_demo

  View on GitHub
  An example Rails app that implements passwordless authentication by emailing a magic link
  ☆13Oct 24, 2022Updated 3 years ago
• inesita-rb / todomvc

  View on GitHub
  Inesita TodoMVC
  ☆22Jun 24, 2020Updated 5 years ago
• cosmo0920 / windows-pr

  View on GitHub
  A collection of Windows functions, constants and macros predefined for you for win32-api
  ☆24May 3, 2021Updated 4 years ago
• midori-rb / murasaki

  View on GitHub
  Event Kernel for Ruby
  ☆11Dec 26, 2020Updated 5 years ago
• yuku / x86-study

  View on GitHub
  x86 emulator written in Rust. Just for study
  ☆10Jul 30, 2016Updated 9 years ago
• watzon / subnet

  View on GitHub
  Crystal library for working with IPv4 and IPv6 addresses
  ☆20Jan 12, 2026Updated 2 months ago
• rubyworks / pqueue

  View on GitHub
  Priority Queue in pure Ruby
  ☆69Mar 3, 2015Updated 11 years ago
• vonKingsley / crass

  View on GitHub
  libsass bindings for Crystal-Lang
  ☆15Sep 25, 2018Updated 7 years ago
• lemontree55 / rasn1

  View on GitHub
  Ruby ASN.1 library
  ☆17Aug 13, 2025Updated 7 months ago
• alexdowad / bit-twiddle

  View on GitHub
  Fast bitwise operations for Ruby
  ☆11Jun 24, 2025Updated 9 months ago
• SciRuby / distribution

  View on GitHub
  Probability distributions for Ruby.
  ☆51Jul 5, 2020Updated 5 years ago
• ysbaddaden / syn

  View on GitHub
  Synchronization primitives to build concurrent and parallel-safe data structures in Crystal
  ☆19Nov 14, 2024Updated last year
• friguzzi / bddem

  View on GitHub
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Aug 30, 2025Updated 6 months ago
• mceachen / bloomer

  View on GitHub
  A scalable ruby Bloom filter
  ☆39Sep 13, 2018Updated 7 years ago
• cau-placc / pakcs

  View on GitHub
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Feb 22, 2026Updated last month
• rubytogether / ecosystem

  View on GitHub
  ☆16Feb 6, 2025Updated last year
• Coding-Cactus / repltalk

  View on GitHub
  The most complete wrapper for the repl talk gql api
  ☆11Aug 5, 2022Updated 3 years ago
• auxolotl / labs

  View on GitHub
  Auxolotl Laboratories, a home for all our mad science experiments
  ☆22Jun 12, 2024Updated last year
• YuryStrozhevsky / ASN1-2008-free-test-suite

  View on GitHub
  My own realization of ASN.1:2008 test suite
  ☆17May 3, 2014Updated 11 years ago
• victords / cogmura

  View on GitHub
  An attempt at creating an isometric RPG
  ☆10Sep 7, 2023Updated 2 years ago
• gosu / gosu.cr

  View on GitHub
  Shard for the Gosu game library
  ☆32Oct 6, 2023Updated 2 years ago
• JDOG787 / JDOG787

  View on GitHub
  My website
  ☆11Mar 24, 2023Updated 3 years ago
• pjungwir / cron2english

  View on GitHub
  Converts a crontab time spec into human(ish) text
  ☆24Apr 15, 2025Updated 11 months ago
• pat / sliver

  View on GitHub
  A super simple, extendable Rack API.
  ☆29Mar 8, 2024Updated 2 years ago
• chriswailes / filigree

  View on GitHub
  For more beautiful Ruby
  ☆31Apr 6, 2020Updated 5 years ago
• soveran / resp-crystal

  View on GitHub
  Lightweight RESP client
  ☆14Jan 10, 2022Updated 4 years ago
• spider-gazelle / crystal-snmp

  View on GitHub
  SNMP implementation for crystal lang
  ☆17Oct 2, 2021Updated 4 years ago
• amberframework / recipes

  View on GitHub
  Code recipes for Amber Framework
  ☆14Sep 24, 2018Updated 7 years ago
• konovod / monocypher.cr

  View on GitHub
  Crystal bindings for Monocypher
  ☆19May 30, 2023Updated 2 years ago
• mzbac / qlora-inference-multi-gpu

  View on GitHub
  ☆13May 25, 2023Updated 2 years ago
• jwoertink / medley

  View on GitHub
  A crystal shard for doing music related stuff
  ☆17Apr 17, 2018Updated 7 years ago
• pitr-ch / algebrick

  View on GitHub
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Feb 4, 2021Updated 5 years ago
• dorkrawk / darwinning

  View on GitHub
  A Ruby gem for genetic algorithms.
  ☆123Dec 21, 2018Updated 7 years ago