> Quint is a modern specification language that is a particularly good fit for… more
programming languages×
13 links
> I am no matklad, but I'm building Rust Glancer, an experimental Rust LSP, for… more
> Many programming languages now provide the async/await keywords for… more
> [MicroLighter is a] tiny, dependency-free syntax highlighter for the web. more
> So [Solod] supports structs, methods, interfaces, slices, maps, multiple… more
> [Salt has] [z]ero-cost contracts. requires and ensures clauses are checked at… more
> Of course, I’m not really talking about color here, am I? It’s an allegory, a… more
[Lisette is:] more
> Lobster is a programming language that tries to combine the advantages of… more
> [Coi is] a new language for the web, built from scratch to feel like a… more
> Type checkers are a piece of software that feel incredibly simple, yet… more
> Par (⅋) is an experimental concurrent programming language. It's an attempt… more