r/ProgrammingLanguages • • 11h ago

Writing tensor programs in Lean · TorchLean Verified Examples

Thumbnail robertboy18.github.io
14 Upvotes

r/ProgrammingLanguages • • 21h ago

Truly Colorless Functions in Sabre

Thumbnail sabre.rroessler.io
9 Upvotes

r/ProgrammingLanguages • • 9h ago

Versioned E-Graphs

Thumbnail youtube.com
3 Upvotes

r/ProgrammingLanguages • • 21h ago

Just finished v1.0.0 of my first (semi) esoteric programming language, HexaDeath!

Thumbnail github.com
3 Upvotes

Here's the Github link!

The README explains quite a bit of how the code works, so I won't really go into it very deeply here. But, the gist of it is that the language only uses 8-bit hex numbers for everything.

Here is a simple "Hello, World!" program!

21 05 01 00
64 05 01 00
6C 05 01 00
72 05 01 00
6F 05 01 00
57 05 01 00
20 05 01 00
2C 05 01 00
6F 05 01 00
6C 05 01 00
6C 05 01 00
65 05 01 00
48 05 01 00

Fun, right?

If you are interested enough to try it out, please let me know what you'd like to see come to it/if there are any bugs you encounter! This is my first programming language after all, so I don't expect it to be perfect!


r/ProgrammingLanguages • • 10h ago

Requesting criticism Cole: A Recreational Attempt on Zig(*)

Thumbnail codeberg.org
2 Upvotes

r/ProgrammingLanguages • • 11h ago

Titulo: Coma: un linguage de programmation bilingue (hispan/anglese) que se scribe como on parla e curre con le velocitate de C

0 Upvotes
Salute! Io ha create **.Coma**, un linguage con un idea strange: le ergonomia de prosa con le performance native. Sin punctos e virgulas, centos de synonymos colloquial, articulos que on pote saltar (`the`, `la`, `del`) — e illo compila via su proprie frontend in Nim ad LLVM IR + `zig cc`, mesurate contra C.

Le mesme programma, in duo linguas, un sol binario:

[los dos ejemplos Hero/Heroe]

Lo que v1.0 face de ver (verificate in execution): listas de registros con accesso per fila, listas sin limite (integros, texto, matrices), files e TCP in session unic, ticks a 60 FPS con delta time, tests integrate, comparation sin majusculas/minusculas, hexadecimal + bits, e un IDE in un sol .exe con diagnosticos in tempore real.

Limites honeste, tote documentate: nulle concurrentia ancora, cliente TCP sin TLS, nulle gerente de pacchettos, nulle FFI per philosophia.

Licentia MIT, Windows + Linux. E il ha un calabozo jocabile scribite in illo (juego/mazmorra.coma, EN+ES).

Repo: https://github.com/Agm1ne/.Coma

Que construerea tu in un linguage que se lege como prosa?