Z-EVES for linux. Probably the only place you can find it
☆24Apr 25, 2021Updated 5 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.
Sorting:
- ☆20Nov 11, 2019Updated 6 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆18Jun 20, 2017Updated 8 years ago
- 6cdh's dotfiles☆10Mar 17, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- KallistiOS for DLang☆17Mar 16, 2025Updated last year
- ☆10Mar 23, 2026Updated 2 months ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 6 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Capture the output of the last terminal command and open it an editor in a separate tmux window.☆28Nov 29, 2022Updated 3 years ago
- Struct-aware fuzzing framework + some fuzzers☆32Apr 13, 2026Updated 2 months ago
- Security hardened Deno for macOS☆25Oct 27, 2024Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Formalization of Gröbner basis theory in Lean4 (WIP)☆33Mar 26, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 6 months ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated 2 years ago
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago
- ☆17Sep 2, 2024Updated last year
- ☆10Jun 1, 2024Updated 2 years ago
- ☆10Nov 7, 2023Updated 2 years ago
- A parser combinator library for Go.☆13Apr 25, 2023Updated 3 years ago
- ☆12Sep 3, 2020Updated 5 years ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SGI IrisGL on OpenGL - kind of an Irix IGLOO clone☆24Apr 26, 2018Updated 8 years ago
- Sublime/VS-Code-like command palette for Qt Applications☆18Mar 14, 2020Updated 6 years ago
- 💾 📦 ✅ Use the web-tree-sitter in Deno!☆17Sep 2, 2025Updated 9 months ago
- A socat service to whitelist network connections☆13Feb 16, 2026Updated 3 months ago
- ☆12Mar 31, 2021Updated 5 years ago
- Erq - Easy Relational Query Language☆12Nov 12, 2025Updated 7 months ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A python library to control nvidia gpu fan to use more aggressive cooling for instance for DL applications. Use at your own risk.☆14Mar 14, 2023Updated 3 years ago
- python framework for writing robot strategies☆17Jun 1, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 6 years ago
- ajpclient is a small command line tool that aims to be to AJP what curl is to HTTP.☆13Jul 18, 2017Updated 8 years ago
- To easily start up three.js - perfect to get started on a three.js demo☆19Jan 12, 2017Updated 9 years ago
- ☆14Jun 7, 2017Updated 9 years ago
- Native port of Life Force for the NES to the SNES☆22Jun 22, 2025Updated 11 months ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- A simple Rust and WebAssembly example implementing the Game of Life☆14Aug 4, 2021Updated 4 years ago