polazarus/rust
a safe, concurrent, practical language
Public GitHub Catalog
Discovered Sep 24, 2026
polazarus / z3-installer
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1601403GitHub System ID
polazarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from polazarus
polazarus/ocaml
Read-only mirror of INRIA SVN
polazarus/oclock-testing
OClock Testing Ground * Keep out ;) *
polazarus/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.