ropas/zooberry 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

ropas/zooberry

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/ropas/zooberry)

Close

ropas / zooberryView on GitHubMore

• External links
• Readme badge

A software framework for global sparse analyzers and their verified validators

☆22Oct 25, 2017Updated 8 years ago

Alternatives and similar repositories for zooberry

Users that are interested in zooberry are comparing it to the libraries listed below

• ropas / sparrow

  View on GitHub
  The Sparrow Static Analyzer
  ☆127Sep 19, 2021Updated 4 years ago
• snu-sf-class / pl201602

  View on GitHub
  SNU 2016 Fall 4190.310 Programming Language
  ☆22Dec 13, 2016Updated 9 years ago
• theeluwin / kata

  View on GitHub
  Let's study.
  ☆20Feb 21, 2026Updated last week
• dj-shin / army-client

  View on GitHub
  ☆10Jan 6, 2021Updated 5 years ago
• Drup / llvmgraph

  View on GitHub
  Ocamlgraph overlay for llvm
  ☆20Apr 4, 2015Updated 10 years ago
• klutzy / aheui-llvm

  View on GitHub
  [INACTIVE] WIP Aheui frontend for llvm, implemented in Rust
  ☆22Nov 2, 2015Updated 10 years ago
• teampopong / popong-api

  View on GitHub
  POPONG API source code.
  ☆16Apr 4, 2016Updated 9 years ago
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated last month
• nellaG / commandict

  View on GitHub
  Use DAUM dictionary via terminal!
  ☆12Jul 3, 2020Updated 5 years ago
• pbzweihander / .dotfiles

  View on GitHub
  ~ sweet ~
  ☆26Apr 8, 2025Updated 10 months ago
• lynn-hong / ko_restoration

  View on GitHub
  Module for restoring Korean text working with KomornaPy
  ☆42Jul 28, 2016Updated 9 years ago
• snu-sf / crellvm

  View on GitHub
  Crellvm: Verified Credible Compilation for LLVM
  ☆18Jun 26, 2018Updated 7 years ago
• lifthrasiir / num-cmp

  View on GitHub
  Comparison between differently typed numbers in Rust
  ☆13Feb 3, 2020Updated 6 years ago
• suparklingmin / LangComp2021

  View on GitHub
  언어와 컴퓨터 (2021학년도 2학기, 서울대학교 언어학과)
  ☆13Aug 16, 2022Updated 3 years ago
• simnalamburt / uniqs

  View on GitHub
  Rust uniq(1) alternative with streaming support
  ☆15Mar 11, 2025Updated 11 months ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆16Apr 15, 2025Updated 10 months ago
• changwoo / jebudo

  View on GitHub
  한글 글꼴 모음 실험
  ☆31Jan 22, 2014Updated 12 years ago
• kaishack / sctf2017

  View on GitHub
  Samsung CTF 2017 Problems. https://sctf.codeground.org
  ☆24Sep 3, 2018Updated 7 years ago
• wafflestudio / snutt-webclient

  View on GitHub
  SNUTT web 클라이언트
  ☆14Feb 8, 2023Updated 3 years ago
• nababora / advML

  View on GitHub
  adversarial machine learning for anti-malware software
  ☆12May 17, 2018Updated 7 years ago
• tirr-c / hyeong-rs

  View on GitHub
  Rust로 작성한 혀엉... 구현체
  ☆12Feb 5, 2022Updated 4 years ago
• tmattio / dream-cli

  View on GitHub
  Command Line Interface for Dream applications.
  ☆22Apr 9, 2022Updated 3 years ago
• simnalamburt / snippets

  View on GitHub
  My code snippets
  ☆38Sep 30, 2025Updated 5 months ago
• lewha0 / CPBookKorean

  View on GitHub
  Supplementary materials for Korean (translated) version of Competitive Programming Book
  ☆34Jan 7, 2018Updated 8 years ago
• pbzweihander / chamsae

  View on GitHub
  A lightweight ActivityPub microblogging service for only a single user
  ☆40Aug 31, 2024Updated last year
• sublee / subleerunker

  View on GitHub
  A SUBERUNKER parody game with my pixel-art
  ☆18Aug 20, 2023Updated 2 years ago
• xnuk / elmhyeong

  View on GitHub
  난해한 혀엉... 언어 Elm 구현체
  ☆16Jan 31, 2017Updated 9 years ago
• samarthkishor / crafting-interpreters

  View on GitHub
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Apr 15, 2020Updated 5 years ago
• youngrok / startup-dev-tutor

  View on GitHub
  ☆19Sep 11, 2013Updated 12 years ago
• backtracking / bheap

  View on GitHub
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Nov 29, 2020Updated 5 years ago
• simnalamburt / cloudkeeper

  View on GitHub
  (discontinued) Don't let IRCCloud disconnect you from the network.
  ☆17Sep 9, 2020Updated 5 years ago
• what-studio / gauge

  View on GitHub
  Deterministic linear gauge library
  ☆18Aug 30, 2017Updated 8 years ago
• basehangul / basehangul.github.io

  View on GitHub
  한글을 이용한 바이너리 인코딩
  ☆20Dec 21, 2016Updated 9 years ago
• snucse / snucse-api

  View on GitHub
  스누씨 3.0 backend
  ☆17Apr 1, 2023Updated 2 years ago
• ledyx / KoreaMetroGraph

  View on GitHub
  한국 도시 철도의 이전/다음역 및 노선번호 정보를 그래프 자료구조로 표현.
  ☆17Nov 16, 2022Updated 3 years ago
• 9XD / 9XD

  View on GitHub
  ☆16Dec 26, 2022Updated 3 years ago
• johngrib / droller

  View on GitHub
  A command-line tool that randomly recommends one of the URIs you haven't read forever.
  ☆20Nov 30, 2019Updated 6 years ago
• pythonkr / pyconkr-2017

  View on GitHub
  ☆37Sep 14, 2017Updated 8 years ago
• wafflestudio / snutt-nodejs

  View on GitHub
  SNU Timetable (deprecated)
  ☆39Jan 24, 2025Updated last year