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
- Static Analysis Framework for Android Hybrid Applications☆42Oct 13, 2020Updated 5 years ago
- ☆10Mar 23, 2026Updated last month
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 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.
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- Struct-aware fuzzing framework + some fuzzers☆32Apr 13, 2026Updated 3 weeks ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Formalization of Gröbner basis theory in Lean4 (WIP)☆34Mar 26, 2026Updated last month
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 5 months ago
- Beginning of formal language theory☆24Dec 7, 2019Updated 6 years ago
- ☆17Sep 2, 2024Updated last year
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 9 months ago
- csvt is a command line tool for processing CSV.☆13Jan 14, 2026Updated 3 months ago
- WebAssembly interpreter in a Header (WAH)☆31Updated this week
- ☆10Nov 20, 2023Updated 2 years ago
- A translation validation framework for MLIR☆98Mar 19, 2025Updated last year
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- A hobby language that compiles to WebAssembly☆28Jun 9, 2025Updated 10 months ago
- simple PE parser☆12Mar 14, 2017Updated 9 years ago
- Emacs package to highlight and manage comment tags like TODO, BUG, FIXME, etc.☆12May 25, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of in-depth studies authored by me on JavaScript engine vulnerabilities.☆49Feb 6, 2026Updated 2 months ago
- 📝 A Rocq library written by members of PnV Discord Server☆18Updated this week
- A socat service to whitelist network connections☆13Feb 16, 2026Updated 2 months ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- 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
- A word-aligned integer compression algorithm.☆13Jul 8, 2024Updated last year
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆23Feb 18, 2026Updated 2 months ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆17Oct 23, 2012Updated 13 years ago
- Binary I/O library for D Languge☆16Feb 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Native port of Life Force for the NES to the SNES☆21Jun 22, 2025Updated 10 months ago
- A simple Rust and WebAssembly example implementing the Game of Life☆14Aug 4, 2021Updated 4 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- A reimplementation of the RunTime Link Editor (RTLD) of the Nintendo Switch.☆42Jan 15, 2022Updated 4 years ago
- A Clojure AST transformation library☆39Feb 2, 2013Updated 13 years ago
- Go package to produce a repomap based on tree-sitter☆15Jan 29, 2025Updated last year
- Improving word mover’s distance by leveraging self-attention matrix (Published in EMNLP 2023 Findings)☆10Mar 10, 2026Updated last month