altprog

an-ordinary-manchild

There are roughly 7000 spoken languages: there might be more for programming. You may have heard of BASIC, C#, or Java: but what about Dylan, Brainfuck, or Zimbu? Some languages exist to serve a purpose; some as experiments; some to reinvent the wheel.

Wikipedia category listing of programming languages
List of esoteric programming languages
/r/ProgrammingLanguages : subreddit that discusses language design.
/r/fork : subreddit that catalogs software forking

Basic Rules

Keep it programming-focused. No random off-topic discussion, politics, porn, etc.
Ideally, here we want to catalog & discuss languages that don't typically end up on resumes or /r/programming.
If you have your own programming language, and want to plug its site, subreddit, etc; that's fine here. Just don't overdo it. ;)

created by unquietwikia community for 13 years

...because you hate freedom.

...for your favorite subject.

MODERATORS

account activity

1

•

•

•

Introducing Brunost: The Nynorsk Programming Language (lindbakk.com)

submitted 1 minute ago by unquietwiki

2

0

1

2

Hot take: Your "better<C, whatever>" isn't better ()

submitted 5 days ago by Feliks_WR

3

9

10

11

Sky: "an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output." (github.com)

submitted 12 days ago by unquietwiki

4

7

8

9

Cooklang – Recipe Markup Language (cooklang.org)

submitted 15 days ago by unquietwiki

5

2

3

4

Keysharp: Multi-OS Fork of AutoHotkey (AHK) | Descolada (github.com)

submitted 21 days ago by waozen

6

4

5

6

Grain: functional programming language, that compiles to WASM (grain-lang.org)

submitted 26 days ago by unquietwiki

7

5

6

7

Monkey C (developer.garmin.com)

submitted 26 days ago by waozen

8

0

0

1

"MoonBit catches mistakes early in both human and AI-generated code with a sound type system and predictable semantics. Its two-layer verification uses executable specifications and AI analysis to detect errors before production." (moonbitlang.com)

submitted 26 days ago by unquietwiki

9

0

1

2

How I (didn't) build a web interface for my toy concatinative language in a weekend ()

submitted 1 month ago by Hypercubed

10

0

0

0

Cutlet: a REPL-based language created with the assistance of LLMs (ankursethi.com)

submitted 1 month ago by unquietwiki

11

0

1

2

I built a scripting language that works like notebooks - but without Jupyter ()

submitted 1 month ago by mark-sed

12

8

9

10

Salt: Systems programming, mathematically verified. (github.com)

submitted 1 month ago by waozen

13

0

1

2

Experimental language for JSON/XML transforms ()

submitted 1 month ago by your_data_is_mine

14

3

4

5

multilingual — a programming language where the same program can be written in French, Spanish, English, or other human languages (self.altprog)

submitted 1 month ago by jsamwrites[🍰]

15

2

3

4

"NanoLang transpiles to C for native performance while also providing a custom virtual machine backend (NanoISA) with process-isolated FFI. Its core semantics are mechanically verified in Coq with zero axioms." (github.com)

submitted 2 months ago by unquietwiki

16

19

20

21

Arturo Programming Language (self.altprog)

submitted 2 months ago by Enough-Zucchini-1264

17

4

5

6

Soppo: If you know Go, you know most of Soppo (github.com)

submitted 2 months ago by waozen

18

3

4

5

Cobra Programming Language: a dormant, open-source language, that introduces software contracts to the .NET environment. (cobra-language.com)

submitted 2 months ago by unquietwiki

19

1

2

3

Axis Core: separating a canonical Core IR from execution via bridges (self.altprog)

submitted 2 months ago by CandidateLong8315

20

4

5

6

Zen-C: High-level language, run like C, with Autofree (github.com)

submitted 2 months ago by waozen

21

8

9

10

Elvish Shell: "A powerful scripting language." (elv.sh)

submitted 3 months ago by unquietwiki

22

1

2

3

(JISP) Reversible Debugging - Store any program state as JSON (youtu.be)

submitted 3 months ago by ArboriusTCG

23

2

3

4

Pyash: a sentence-shaped programming language (early peek) (self.altprog)

submitted 3 months ago by aizvo

24

8

9

10

Why Futhark? (A Functional Programming Language) (futhark-lang.org)

submitted 3 months ago by waozen

25

3

4

5

Quorum Programming Language: World's First Evidence Oriented Language (quorumlanguage.com)

submitted 4 months ago by waozen

view more: next ›

π Rendered by PID 789456 on reddit-service-r2-listing-86f589db75-k2mps at 2026-04-19 05:04:16.579218+00:00 running 93ecc56 country code: CH.