An AVR Emulator written in pure LaTeX – Turing completeness!


An AVR Emulator written in pure LaTeX – Christian Dietrich / avremu | GitLab.

LaTeX is known as a typesetting system. But the underlying TeX system is a powerful macro processor. In fact, TeX is a Turing-complete programming language. TeX can compute anything, that is computable. Computeability is a concept from theoretical computer science. After visiting a theoretical CS course, you will know that there are things that cannot be solved by a machine. Never. Look out for the halting problem. So, Turing-complete does not say “It’s a proper programming language”, but more “someone can write a proper interpreter for any programming language in it, theoretically”.

So back to TeX. To be honest, TeX is a horrible language to code in. After writing my master thesis in LaTex, after crafting every graphic within with TiKz[1] and pgfplots[2], and after writing my first LaTeX package[3], I can honestly say: TeX is the Quasimodo of all widely used programming languages. If you can avoid it, avoid it. But if you are forced to use it, you can abstract from TeX, since it is a “proper” programming language.

Let’s say we want to program our document in C on Top of Tex. Then there would be the need to interpret the C semantic. Basically we would have to write a compiler for C in TeX. Not a very promising future, if you start this. But, we can use a normal C compiler to compile the C code to some simple platform. Like AVR[4]. Since I have other things to do than writing an AVR Emulator in TeX, here it is!

Turing completeness!

Stop breadboarding and soldering – start making immediately! Adafruit’s Circuit Playground is jam-packed with LEDs, sensors, buttons, alligator clip pads and more. Build projects with Circuit Playground in a few minutes with the drag-and-drop MakeCode programming site, learn computer science using the CS Discoveries class on, jump into CircuitPython to learn Python and hardware together, TinyGO, or even use the Arduino IDE. Circuit Playground Express is the newest and best Circuit Playground board, with support for CircuitPython, MakeCode, and Arduino. It has a powerful processor, 10 NeoPixels, mini speaker, InfraRed receive and transmit, two buttons, a switch, 14 alligator clip pads, and lots of sensors: capacitive touch, IR proximity, temperature, light, motion and sound. A whole wide world of electronics and coding is waiting for you, and it fits in the palm of your hand.

Join 35,000+ makers on Adafruit’s Discord channels and be part of the community!

Have an amazing project to share? The Electronics Show and Tell is every Wednesday at 7pm ET! To join, head over to YouTube and check out the show’s live chat – we’ll post the link there.

Join us every Wednesday night at 8pm ET for Ask an Engineer!

Follow Adafruit on Instagram for top secret new products, behinds the scenes and more

CircuitPython – The easiest way to program microcontrollers –

Maker Business — How (some) chips get made

Wearables — Sample code is your new best friend

Electronics — Solder braid quick fix

Python for Microcontrollers — Python on Microcontrollers Newsletter: Mu 1.2.0 Released, WSL Out of Beta and so much more! #CircuitPython @micropython @ThePSF @Raspberry_Pi

Adafruit IoT Monthly — Jellyfish Lanterns, Matter 1.0, and more!

Microsoft MakeCode — MakeCode Thank You!

EYE on NPI — Maxim’s Himalaya uSLIC Step-Down Power Module #EyeOnNPI @maximintegrated @digikey

New Products – Adafruit Industries – Makers, hackers, artists, designers and engineers! — JP’s Product Pick of the Week 11/22/22 EyeSPI Breakout @adafruit @johnedgarpark #adafruit #newproductpick

Get the only spam-free daily newsletter about wearables, running a "maker business", electronic tips and more! Subscribe at !

No Comments

No comments yet.

Sorry, the comment form is closed at this time.