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:
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Árbol de Correlativas de LCC☆10Jun 28, 2022Updated 4 years ago
- Import receipts from Lidl Plus to Grocy, right from your terminal!☆14Jan 7, 2025Updated last year
- Fundamentos de sistemas operativos☆78Aug 18, 2026Updated last month
- Short written algorithms, cheatsheet for ACM-ICPC☆68Nov 14, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- An LLVM interface for Lean 4. (WIP)☆27Aug 1, 2023Updated 3 years ago
- KallistiOS for DLang☆17Mar 16, 2025Updated last year
- Control Flow Linearization☆26May 4, 2025Updated last year
- Ruby on Rails integration for ChromaDB☆12Feb 6, 2025Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 10 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- Mod to spawn lights in RE Engine games☆41Apr 6, 2025Updated last year
- Try to solve Puzzle & Dragons with C++☆19Sep 15, 2026Updated last week
- 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.
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago
- Elixir Logger Backend for Grafana Loki☆11Mar 31, 2022Updated 4 years ago
- A GitHub Action to build and publish a Ruby gem☆11Dec 2, 2020Updated 5 years ago
- Website for the package management community☆10Jan 13, 2024Updated 2 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A collection of data structures for Mario Kart 7☆20Updated this week
- Database-backed OpenTelemetry for Rails☆19Jan 21, 2026Updated 8 months ago
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆13Nov 29, 2025Updated 9 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.
- Browser extension to automatically update your Kitsu library from streaming sites☆15Jul 4, 2017Updated 9 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- Vim plugin for SageMath (Sage) mathematics software system☆24Sep 11, 2023Updated 3 years ago
- Safe-Stremio is your gateway to running Stremio Server and Stremio Web within a Docker container, wrapped in layers of security, anonymit…☆40Aug 1, 2026Updated last month
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated last year
- A translation validation framework for MLIR☆101Mar 19, 2025Updated last year
- ☆10Nov 7, 2023Updated 2 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 13 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Nov 20, 2023Updated 2 years ago
- 💾 📦 ✅ Use the web-tree-sitter in Deno!☆18Sep 2, 2025Updated last year
- Efficient patch generation engine for C/C++ programs☆19Dec 23, 2022Updated 3 years ago
- A hobby language that compiles to WebAssembly☆28Jun 9, 2025Updated last year
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated 2 years ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated 2 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 5 years ago