Language Transformation Frameworks AI Coding Tools

Tools that wrap, augment, or transform existing codebases by applying domain-specific languages, type systems, or formal methods. Focuses on meta-frameworks that generate specialized -iser projects and retrofitting code with safety/verification properties. Does NOT include general code generation from scratch, compiler tutorials, or bindings to existing languages.

There are 39 language transformation frameworks tools tracked. The highest-rated is ash-project/igniter at 44/100 with 391 stars.

Get all 39 projects as JSON

curl "https://pt-edge.onrender.com/api/v1/datasets/quality?domain=ai-coding&subcategory=language-transformation-frameworks&limit=20"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

#	Tool	Score	Tier	Stars	Language
1	ash-project/igniter A code generation and project patching framework.	44	Emerging	391	Elixir
2	IntelLabs/encrypted-computing-sdk Intel’s HERACLES accelerator introduces a new set of fundamental...	35	Emerging	61	Python
3	hypergol/hypergol Hypergol is a Data Science/Machine Learning productivity toolkit to...	31	Emerging	53	Python
4	d-led/gen_server_virtual_time virtual time-based extension to the GenServer behavior that allows testing...	28	Experimental	1	Elixir
5	hyperpolymath/anvomidaviser Convert ISU notation to formal figure skating programs via Anvomidav	25	Experimental	1	Rust
6	hyperpolymath/atsiser Wrap C codebases in ATS linear types for zero-cost memory safety	25	Experimental	1	Rust
7	hyperpolymath/ephapaxiser Enforce single-use linear type semantics on resources via Ephapax	25	Experimental	1	Rust
8	hyperpolymath/betlangiser Add ternary probabilistic modelling to deterministic code via Betlang	25	Experimental	1	Rust
9	hyperpolymath/idrisiser Generate proven-correct wrappers from interfaces using Idris2 dependent types	25	Experimental	1	Rust
10	hyperpolymath/chapeliser General-purpose Chapel acceleration framework — distribute any workload...	25	Experimental	1	Rust
11	hyperpolymath/eclexiaiser Add energy/carbon/resource-cost awareness to software via Eclexia	25	Experimental	1	Rust
12	hyperpolymath/nimiser Generate high-performance C libraries via Nim metaprogramming	24	Experimental	1	Rust
13	copyleftdev/humanlang 37 programming languages, one human intent. Token bucket rate limiter...	24	Experimental	1	Shell
14	agra-uni-bremen/formal-iss Generate an ISS for riscv-vp from a formal LibRISCV ISA model	24	Experimental	3	Haskell
15	hyperpolymath/otpiser Generate OTP supervision trees and fault-tolerance scaffolding	24	Experimental	1	Rust
16	hyperpolymath/mylangiser Generate progressive-disclosure interfaces from complex APIs via My-Lang	24	Experimental	1	Rust
17	hyperpolymath/wokelangiser Add consent patterns and accessibility to existing code via WokeLang	24	Experimental	1	Rust
18	hyperpolymath/k9iser Wrap configs into self-validating K9 contracts	24	Experimental	1	Rust
19	hyperpolymath/bqniser Detect array patterns and rewrite as optimised BQN primitives	23	Experimental	1	Rust
20	hyperpolymath/verisimiser Augment any database with VeriSimDB octad capabilities — drift detection,...	23	Experimental	1	Rust
21	hyperpolymath/tlaiser Extract state machines from code and model-check with TLA+/PlusCal	23	Experimental	1	Rust
22	hyperpolymath/affinescriptiser Wrap code in affine + dependent types targeting WASM via AffineScript	23	Experimental	1	Rust
23	hyperpolymath/futharkiser Compile annotated array operations to GPU kernels via Futhark	23	Experimental	1	Rust
24	hyperpolymath/dafniser Generate correct-by-construction code for critical functions using Dafny	23	Experimental	1	Rust
25	hyperpolymath/oblibeniser Make operations reversible and auditable via Oblíbený	23	Experimental	1	Rust
26	hyperpolymath/lustreiser Generate formally verified real-time embedded code via Lustre	23	Experimental	1	Rust
27	hyperpolymath/a2mliser Add cryptographic attestation to any markup or configuration via A2ML	23	Experimental	1	Idris
28	hyperpolymath/halideiser Compile image/video pipelines to optimised Halide schedules	23	Experimental	1	Rust
29	hyperpolymath/julianiser Auto-wrap Python/R data pipelines into Julia for 100x speedups	23	Experimental	1	Rust
30	pro-grammer-SD/p2r 🐍🚀 A static Python-to-Rust transpiler that converts type-annotated Python...	23	Experimental	5	Python
31	hyperpolymath/typedqliser Add formal type safety (10 levels, dependent/linear/session types) to any...	23	Experimental	1	Rust
32	hyperpolymath/iseriser Meta-framework that generates new -iser projects from language descriptions	23	Experimental	1	Rust
33	hyperpolymath/ponyiser Wrap concurrent code in Pony reference capabilities for data-race freedom	23	Experimental	1	Rust
34	tonyido2012/lighter-prover 🔍 Enhance your circuit verification with Lighter Prover, a streamlined tool...	22	Experimental	—	Rust
35	petlukk/eacompute Explicit compute kernels → shared libraries + native bindings for Python,...	22	Experimental	—	Rust
36	jyrj/rvxv Generate Spike extensions, assembly tests, SVA assertions & docs for custom...	22	Experimental	—	Python
37	twoLoop-40/idris2-python-boilerplate Type-driven AI code generation with Idris2 dependent types -...	16	Experimental	1	Shell
38	BlackGoku36/UndefinedLanguage An programming language that targets WASM	13	Experimental	2	Zig
39	jameshaydon/idris-elixir A code-generator for Idris that targets Elixir	12	Experimental	63	Haskell