AI · alternatives · 2026
24 alternatives to Jo – AI-native language to catch prompt injection at compile-time
Jo Secure Programming Language. Contribute to typescope/jo development by creating an account on GitHub.
Jo is a programming language designed to detect prompt injection attacks during compilation rather than at runtime. Built with AI systems in mind, it catches injection vulnerabilities before code executes, offering… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1TM
Hi, Ted here, creator of Mog. - Mog is a statically typed, compiled, embedded language (think statically typed Lua) designed to be written by LLMs -- the full spec fits in 3,200 tokens. - An AI agent writes a Mog program, compiles it, and dynamically loads it as a plugin, script, or hook. - The host controls exactly which functions a Mog program can call (capability-based permissions), so permissions propagate from agent to agent-written code. - Compiled to native code for low-latency plugin execution -- no interpreter overhead, no JIT, no process startup cost. - The compiler is written in…
Mar 2026 · moglang.org · its alternatives →
- 2
I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
2025 · github.com · its alternatives →
- 3
The only production-ready AI-powered code generation
2024 · amplication.com · its alternatives →
- 4
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 5
A few weeks ago I saw a post about someone converting an entire C++ codebase to Rust using AI in under two weeks. That inspired me — if AI can rewrite a whole language stack that fast, I wanted to try building a programming language from scratch with AI assistance. I've also been noticing growing global interest in Korean language and culture, and I wondered: what would a programming language look like if every keyword was in Hangul (the Korean writing system)? Han is the result. It's a statically-typed language written in Rust with a full compiler pipeline (lexer → parser → AST →…
Mar 2026 · github.com · its alternatives →
- 6
Ollang DX▲164The AI Language Execution Layer for Enterprise
Mar 2026 · ollang.com · its alternatives →
- 7
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 8
A Rust macro that parses Java-like syntax and runs it as a Rust program
2018 · gitlab.com · its alternatives →
- 9
"interesting" VM in C. Let's see how this goes. Contribute to tekknolagi/carp development by creating an account on GitHub.
2014 · github.com · its alternatives →
- 10
Hi HN, I built MOL, a domain-specific language for AI pipelines. The main idea: the pipe operator |> automatically generates execution traces — showing timing, types, and data at each step. No logging, no print debugging. Example: let index be doc |> chunk(512) |> embed("model-v1") |> store("kb") This auto-prints a trace table with each step's execution time and output type. Elixir and F# have |> but neither auto-traces. Other features: - 12 built-in domain types (Document, Chunk, Embedding, VectorStore, Thought, Memory, Node) - Guard assertions: `guard answer.confidence > 0.5 : "Too low"` -…
Feb 2026 · github.com · its alternatives →
- 11IA
2018 · inko-lang.org · its alternatives →
- 12
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 13AL
2017 · maierfelix.github.io · its alternatives →
- 14
Website of the Jolie programming language, the first programming language for microservices.
2015 · jolie-lang.org · its alternatives →
- 15
Open-source TypeScript framework for AI dev: prompts, evals, tracing, cost tracking, security, and durable execution. Built for Claude Code.
Apr 2026 · output.ai · its alternatives →
- 16
i made an esoteric programming language which i call spellscript. every program is a "spell" written in a "grimoire," and you have to use keywords like summon, enchant, inscribe, and conjure. it's literally read like a spellbook because the syntax consists of all natural language, and newlines are optional. your code can now be an essay, like everybody wants! for example, if you want to print something, you'd write: `begin the grimoire. inscribe whispers of "hello, world!". close the grimoire.` it has variables, dynamic typing, arrays, functions, conditionals, loops, string manipulation,…
2025 · github.com · its alternatives →
- 17
A tiny, embeddable language implemented in ANSI C. Contribute to rxi/fe development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 18
Zero▲134Vercel's programming language built for AI agents
Aug 2026 · zerolang.ai · its alternatives →
- 19AM
I made an open source, MIT license Typescript library based on some of the latest research that generates prompt injection attacks. It is a super minimal/lightweight and designed to be super easy to use. Keen to hear your thoughts and please be responsible and only pen test systems where you have permission to pen test!
2025 · prompt-injector.blueprintlab.io · its alternatives →
- 20
Hello, folks. I'm Jiang, the author of ESInfer. I love writing Javascript because it has a prosperous ecosystem and is quick to get my hands dirty. However, sometimes it's painful when the flow is not fast to follow due to the lack of a type system. To solve this, I wrote ESInfer, a statical inference tool, to automatically type check and generate type annotations for Javascript. It works with pure Javascript without any add-ons to the language or user-space code and supports highly dynamic features, such as the modification of prototypes. It is still in the very early stage, which offers…
2022 · esinfer.com · its alternatives →
- 21
I'm fascinated by the generative AI wave rolling over us, and wondered if AI could create a language that it might prefer using over the ones created by and for humans. To create the design, I had AI analyze the ASTs of several mainstream languages plus a few of the conceptually groundbreaking but esoteric ones (listed in the README) and then create a new structure and new syntax. It was named after the Jacquard machine (https://en.wikipedia.org/wiki/Jacquard_machine), a precursor to Babbage's Analytical Engine (and punch cards). The result reused a lot of existing ideas…
Jul 2026 · github.com · its alternatives →
- 22
My implementation of Thorsten Bell's book (Writing an Interpreter in Go) - actuallyachraf/monkey-giggle
2020 · github.com · its alternatives →
- 23
Sage is a Rust-like programming language built on a brainfuck-inspired VM with LLVM-like properties. https://github.com/adam-mcdaniel/sage Check out the web-demo to run the compiler in the browser, along with a graphical example using JavaScript interop! https://adam-mcdaniel.net/sage Sage is designed to be portable, but also useful. To prove its usefulness, I used it to implement a user-space for a new operating system: SageOS https://github.com/adam-mcdaniel/sage-os The language also runs on embedded devices, like the flipper zero!
2024 · github.com · its alternatives →
- 24
Contribute to imjasonh/imjasonh development by creating an account on GitHub.
Jan 2026 · github.com · its alternatives →
Also compare
- The Mog Programming Language alternatives
- Bolt – A super-fast, statically-typed scripting language written in C alternatives
- Jovu by Amplication alternatives
- A dependently-typed programming language with static memory management alternatives
- Han – A Korean programming language written in Rust alternatives
- Ollang DX alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →