arandilopez/z-eves 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

arandilopez/z-eves

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/arandilopez/z-eves)

Close

arandilopez / z-evesView on GitHubMore

• External links
• Readme badge

Z-EVES for linux. Probably the only place you can find it

☆24Apr 25, 2021Updated 4 years ago

Alternatives and similar repositories for z-eves

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

• frida / vala

  View on GitHub
  Frida depends on Vala
  ☆11Feb 16, 2026Updated last month
• kanzure / pokemon-prism

  View on GitHub
  Source code for Pokémon Prism
  ☆15Jan 20, 2013Updated 13 years ago
• LunaTheFoxgirl / dkos

  View on GitHub
  KallistiOS for DLang
  ☆17Mar 16, 2025Updated last year
• Anto726 / CTRPluginFramework-RevolutionBase

  View on GitHub
  ☆10Jul 2, 2025Updated 8 months ago
• mdupierreux / ToDoApplication

  View on GitHub
  ☆10Apr 12, 2019Updated 6 years ago
• tydeu / lean4-papyrus

  View on GitHub
  An LLVM interface for Lean 4. (WIP)
  ☆26Aug 1, 2023Updated 2 years ago
• bynect / algorithm-w

  View on GitHub
  Type inference implementation in OCaml using Algorithm W
  ☆10Aug 26, 2021Updated 4 years ago
• utilForever / 2023-SICP-Rust

  View on GitHub
  2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition
  ☆10Jan 4, 2023Updated 3 years ago
• nickgerace / cargo-xtask-example

  View on GitHub
  An example repository for @matklad's cargo xtask pattern
  ☆10Aug 20, 2025Updated 7 months ago
• WuProver / groebner_proj

  View on GitHub
  Formalization of Gröbner basis theory in Lean4 (WIP)
  ☆32Updated this week
• dbp / howtoproveacompiler

  View on GitHub
  Writeup that goes along with this:
  ☆41Jan 18, 2018Updated 8 years ago
• kmicinski / program-analysis-examples

  View on GitHub
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Nov 6, 2019Updated 6 years ago
• rocq-archive / automata

  View on GitHub
  Beginning of formal language theory
  ☆23Dec 7, 2019Updated 6 years ago
• jruby / jruby-launcher

  View on GitHub
  JRuby's native launcher executable
  ☆27Oct 23, 2025Updated 5 months ago
• ncfavier / glam

  View on GitHub
  Polymorphic guarded λ-calculus
  ☆22Jul 17, 2025Updated 8 months ago
• ConstantPark / DL_Compiler_and_Hardware

  View on GitHub
  ☆10Nov 7, 2023Updated 2 years ago
• shellyln / takenoco

  View on GitHub
  A parser combinator library for Go.
  ☆13Apr 25, 2023Updated 2 years ago
• onozaty / csvt

  View on GitHub
  csvt is a command line tool for processing CSV.
  ☆13Jan 14, 2026Updated 2 months ago
• CIFASIS / power-devs

  View on GitHub
  PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.
  ☆12Mar 20, 2021Updated 5 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• aubreyrjones / lemon-py

  View on GitHub
  Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.
  ☆15Apr 26, 2021Updated 4 years ago
• msv-lab / f1x

  View on GitHub
  Efficient patch generation engine for C/C++ programs
  ☆19Dec 23, 2022Updated 3 years ago
• teeks99 / gcc-ubuntu-docker

  View on GitHub
  Versions of gcc running on ubuntu
  ☆15Aug 9, 2025Updated 7 months ago
• evanw / wasm-lang

  View on GitHub
  A hobby language that compiles to WebAssembly
  ☆28Jun 9, 2025Updated 9 months ago
• icchy / pe

  View on GitHub
  simple PE parser
  ☆12Mar 14, 2017Updated 9 years ago
• kaist-plrg / jest

  View on GitHub
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆14Jun 1, 2021Updated 4 years ago
• vincekd / comment-tags

  View on GitHub
  Emacs package to highlight and manage comment tags like TODO, BUG, FIXME, etc.
  ☆12May 25, 2023Updated 2 years ago
• jeff-hykin / deno-tree-sitter

  View on GitHub
  💾 📦 ✅ Use the web-tree-sitter in Deno!
  ☆18Sep 2, 2025Updated 6 months ago
• Sunwood-ai-labs / duckduckgo-web-search

  View on GitHub
  DuckDuckGo Web Search MCP Server - A simple web search implementation for Claude Desktop using DuckDuckGo API
  ☆12Dec 1, 2024Updated last year
• auth0-blog / ng2-dinos

  View on GitHub
  A sample Angular 2 application
  ☆11Dec 8, 2017Updated 8 years ago
• cnlohr / esp32s2_dmx512_usb

  View on GitHub
  ☆14Jan 5, 2023Updated 3 years ago
• full360 / glue-sneaql-demo

  View on GitHub
  ☆12Mar 31, 2021Updated 4 years ago
• mandel59 / erq

  View on GitHub
  Erq - Easy Relational Query Language
  ☆12Nov 12, 2025Updated 4 months ago
• patrickisroman / orbrs

  View on GitHub
  ORB Keypoint Detection with Rust
  ☆14Dec 22, 2022Updated 3 years ago
• ly3too / java-jna-jni

  View on GitHub
  JAVA JNI and JNA demo built using gradle and cmake that shows how to build JNA/JNI java code with C/C++ code together
  ☆11Apr 22, 2020Updated 5 years ago
• alexmadon / ajpclient

  View on GitHub
  ajpclient is a small command line tool that aims to be to AJP what curl is to HTTP.
  ☆12Jul 18, 2017Updated 8 years ago
• choobin / simple9

  View on GitHub
  A word-aligned integer compression algorithm.
  ☆13Jul 8, 2024Updated last year
• uprotocol / specs

  View on GitHub
  Protocol details, proposals, and other helpful documents.
  ☆11Jun 12, 2020Updated 5 years ago
• dch82 / crc32

  View on GitHub
  ☆14Nov 1, 2024Updated last year