The forensic-first systems programming language.
JOCKY is a programming language and compiler ecosystem built for low-level control, security and traceability, with first-class support for practical digital-forensics workflows.
- Lexersource → tokens
- Parsertokens → AST
- Semantic analysisnames, scopes
- Type checkingtyped AST
- LLVM IR generationAST → IR
- Optimization passesIR → optimized IR
- Machine codevia LLVM
Systems programming with forensics in mind
Most languages treat investigation and traceability as someone else's problem. JOCKY builds them into the language, the compiler and the tooling.
Low-level control
Write code that sits close to the machine, with direct control over how your program is laid out and runs.
Security
Security is a design goal of the language and compiler from the start, not a layer added afterwards.
Traceability
Understand what your code became, from source through each compiler stage to the final binary.
Forensic workflows
Language features and tooling aimed at practical digital-forensics work.
LLVM backend
JOCKY generates LLVM IR and runs its own optimization passes before producing machine code.
JOCKYShield
A code-transformation system that is part of the JOCKY toolchain.
Latest Releases
All newsLoading releases from GitHub…
Community
More- StartWelcome thread: introduce yourselfGitHub Discussions
- AskQuestions, ideas and show-and-tellGitHub Discussions
- ReportFound a compiler bug? Open an issueGitHub Issues
- BuildRead the contributing guideCONTRIBUTING.md
Help build JOCKY
You don't need to be a compiler engineer. Fix a bug, improve the docs, add tests or propose a language feature. Contributors of every experience level are welcome.