Dogma: A modernized metalanguage with better expressiveness and binary grammar support
☆66May 27, 2023Updated 3 years ago
Alternatives and similar repositories for dogma
Users that are interested in dogma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reverse engineered API for Microsoft's Time Travel Debugger☆35Apr 18, 2024Updated 2 years ago
- SDK for creating waPC WebAssembly Guest Modules in Zig☆14Dec 27, 2021Updated 4 years ago
- Rust CLI tool to generate Visual Studio .sln files from exes+pdbs☆23Jun 20, 2023Updated 3 years ago
- Wealth Defined/Backed Currency System☆11May 26, 2021Updated 5 years ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- 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.
- Rust library for creating and parsing network packets.☆18Mar 24, 2024Updated 2 years ago
- Disarm — Fast AArch64 Decode/Encoder☆53Sep 7, 2026Updated 2 weeks ago
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- PlayStation emulator written in C++.☆28Mar 31, 2023Updated 3 years ago
- Rust library for lifting raw binary data to LLVM IR☆66Jul 8, 2026Updated 2 months ago
- Kamby Language☆73Feb 16, 2026Updated 7 months ago
- A pure C++17 implementation of WPP software tracing☆19Nov 20, 2020Updated 5 years ago
- A Rust crate for helping write structs as binary data using ✨macro magic✨☆18Apr 17, 2020Updated 6 years ago
- A tutorial that shows the powerful capabilities of the computer algebra system SymPy for solving problems of high school math, calculus, …☆14Oct 5, 2021Updated 4 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 natural language date-time parser for the command-line☆18Aug 24, 2021Updated 5 years ago
- ☆37Aug 8, 2024Updated 2 years ago
- ☆14Sep 10, 2022Updated 4 years ago
- A simple C++ driver base with KD data block☆11Jun 25, 2022Updated 4 years ago
- Visual Studio Project example for using Microsoft's STL in WDM (Windows Kernel-mode Driver)☆25Jun 22, 2021Updated 5 years ago
- A tool to extract and explore Wikipedia edits made by companies, institutions and governments☆15Dec 3, 2022Updated 3 years ago
- Zig Language example on interfacing with C++ code☆20Jan 31, 2026Updated 7 months ago
- Source Engine map loader☆15Apr 28, 2018Updated 8 years ago
- Flow based programming for Python☆27May 18, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆18Oct 19, 2022Updated 3 years ago
- A way to build next.js apps for cloudflare workers☆14Feb 18, 2019Updated 7 years ago
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 6 years ago
- Unix-style filesystem-based RSS/Atom/JSON Feed fetcher/reader☆188May 2, 2026Updated 4 months ago
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆25Feb 8, 2026Updated 7 months ago
- A POC of writing Gradle tasks using wasm as implementation☆11Feb 21, 2021Updated 5 years ago
- An agent for HTTPS through an HTTP(S) proxy server using the CONNECT method☆12Dec 30, 2022Updated 3 years ago
- ☆27Aug 31, 2026Updated 3 weeks ago
- Linux kernel source tree☆10Oct 11, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Self-describing JSON-RPC services made easy☆31Mar 25, 2019Updated 7 years ago
- A port of NXEngine-evo to the N64☆11Sep 26, 2024Updated last year
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆13Jun 16, 2022Updated 4 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- An example of how to use Microsoft Windows Warbird technology☆97Apr 23, 2023Updated 3 years ago
- Simple reverse mode automatic differentiation of scalar values in javascript☆20Aug 4, 2026Updated last month
- Using MMIO (Memory-Mapped I/O) to read TPM 2.0 public Endorsement Key.☆61May 29, 2024Updated 2 years ago