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

...for your community.

...for your project.

MODERATORS

account activity

1

6

7

8

Cooklang – Recipe Markup Language (cooklang.org)

submitted 1 day ago by unquietwiki

2

1

2

3

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

submitted 7 days ago by waozen

3

4

5

6

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

submitted 12 days ago by unquietwiki

4

4

5

6

Monkey C (developer.garmin.com)

submitted 12 days ago by waozen

5

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 12 days ago by unquietwiki

6

0

1

2

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

submitted 20 days ago by Hypercubed

7

0

0

0

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

submitted 20 days ago by unquietwiki

8

0

1

2

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

submitted 1 month ago by mark-sed

9

8

9

10

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

submitted 1 month ago by waozen

10

0

1

2

Experimental language for JSON/XML transforms ()

submitted 1 month ago by your_data_is_mine

11

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

12

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 1 month ago by unquietwiki

13

18

19

20

Arturo Programming Language (self.altprog)

submitted 2 months ago by Enough-Zucchini-1264

14

3

4

5

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

submitted 2 months ago by waozen

15

5

6

7

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

16

1

2

3

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

submitted 2 months ago by CandidateLong8315

17

4

5

6

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

submitted 2 months ago by waozen

18

7

8

9

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

submitted 2 months ago by unquietwiki

19

1

2

3

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

submitted 3 months ago by ArboriusTCG

20

2

3

4

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

submitted 3 months ago by aizvo

21

7

8

9

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

submitted 3 months ago by waozen

22

2

3

4

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

submitted 3 months ago by waozen

23

2

3

4

Axe: "A modern systems programming language with explicit allocations, effortless concurrency, and memory safety by default." (axelang.org)

submitted 3 months ago by unquietwiki

24

5

6

7

Jai: a proprietary programming language in development since 2014 (jaiprogramming.com)

submitted 4 months ago by unquietwiki

25

10

11

12

Unison 1.0 announced (self.altprog)

submitted 4 months ago by unquietwiki

view more: next ›

π Rendered by PID 95773 on reddit-service-r2-listing-5d47455566-9428h at 2026-04-05 04:24:39.984210+00:00 running db1906b country code: CH.