Skip to content
#

programming-language-design

Star

Here are 10 public repositories matching this topic...

Language: Python
Filter by language
All 42 Python 10 Java 6 C++ 4 C 3 TypeScript 3 ANTLR 1 C# 1 F# 1 Go 1 HTML 1
Glass

EgorKhaklin / Glass

Sponsor
Star 2

A pure functional language whose compiler is written in Glass and self-compiles to byte-identical C, carrying a from-scratch zero-knowledge STARK prover whose proofs are re-checked by a second, independent verifier. Write a function, get a proof of its result — verified twice. Hindley-Milner types, effects, exhaustive matching.

programming-language cryptography interpreter compiler functional-programming pattern-matching algebraic-data-types refinement-types self-hosting type-system hindley-milner type-inference stark zk zero-knowledge fri zero-knowledge-proofs effect-system programming-language-design zk-stark
  • Updated Jun 10, 2026
  • Python

monapdx / re-imagined

Star 1

A human-centered styling language built around visible meaning, explicit refinement, and self-normalizing structure.

language design stylesheets experimental styling specification language-design declarative-language domain-specific-language custom-language experimental-language programming-language-design explicit-syntax semantic-syntax self-normalizing state-based-language context-driven-language styling-language
  • Updated Apr 22, 2026
  • Python

Improve this page

Add a description, image, and links to the programming-language-design topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the programming-language-design topic, visit your repo's landing page and select "manage topics."

Learn more