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:
- A Node.js REPL with built-in GPT3 completion☆13Feb 18, 2023Updated 3 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆35Apr 18, 2024Updated 2 years ago
- MkDocs plugin providing automatic API reference generation☆20Jan 29, 2026Updated 5 months ago
- ADR for MkDocs's Material Theme☆17Apr 3, 2025Updated last year
- Mkdocs plugin to add interactive charts with Plotly.js☆13Jun 2, 2026Updated last month
- 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.
- 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
- Rust library for creating and parsing network packets.☆18Mar 24, 2024Updated 2 years ago
- Disarm — Fast AArch64 Decode/Encoder☆48Dec 21, 2024Updated last year
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆83Jan 6, 2025Updated last year
- Unpacks PS4(Maybe PS5?) Sflash0 images☆25Jun 13, 2023Updated 3 years ago
- Cellular Automata - Pokemon Type Battle Simulation☆11Oct 26, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- PlayStation emulator written in C++.☆28Mar 31, 2023Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆44Jun 14, 2022Updated 4 years ago
- regexp4 engine (C-lang)☆11Oct 17, 2017Updated 8 years ago
- A watcher for contributors to various projects.☆10Sep 13, 2021Updated 4 years ago
- A POP3 Service with pluggable mailbox providers, demoing protocol extensions☆10Jul 22, 2022Updated 4 years ago
- Write code your way while ensuring remote consistency.☆16Jul 3, 2026Updated 2 weeks ago
- Efficient webgl state management☆18Dec 5, 2023Updated 2 years ago
- A natural language date-time parser for the command-line☆18Aug 24, 2021Updated 4 years ago
- Implementation of a LLVM Compiler Plugin for C++ Obfuscation☆43Apr 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An Instaparse EBNF grammar for the Clojure language☆18Sep 24, 2021Updated 4 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆32Jun 27, 2022Updated 4 years ago
- Data exchange and persistence based on human-readable files☆22Dec 10, 2024Updated last year
- This is a C++ graph library for directed graph layout visualization using sugiyama algorithm☆17Sep 29, 2021Updated 4 years ago
- A simple C++ driver base with KD data block☆11Jun 25, 2022Updated 4 years ago
- A programmatic sense of fantasy for the virtual minds of the coming AI revolution.☆18Mar 3, 2025Updated last year
- 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 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Software for esp8266 based iot room monitor☆18Apr 2, 2023Updated 3 years ago
- WebGL Renderer for quick shader based toys☆13Nov 24, 2015Updated 10 years ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- ☆17Dec 14, 2017Updated 8 years ago
- create local malicious git repo☆52Jun 29, 2026Updated 3 weeks ago
- The decision tree App☆24Dec 31, 2022Updated 3 years ago
- 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