fluid-org/fluid

A Pythonic functional programming language with provenance-tracking

ghostdogpr/purelogic

Direct-style pure domain logic for Scala

texodus/forml

A programming language

jasisz/aver

Aver is a programming language for auditable AI-written code

dwhjames/datomisca

Datomisca: a Scala API for Datomic

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

digital-asset/daml

The Daml smart contract language

fubark/cosmic

A platform for computing and creating applications.