The Afnix writing system is a multi-threaded functional writing system with dynamic symbol bindings that support the object oriented paradigm. The Afnix writing system is a comprehensive set of application clients, modules and services. The original distribution contains the core interpreter with additional clients like the compiler, the librarian and the debugger. The distribution contains also a rich set of modules that are dedicated to a particular domains.
Potigol is a programming language for novices. It has a C-style syntax, and Portuguese-based language constructs. It's a scripting language, with support for arrays, hashes, and string interpolation, math functions etc.
Idris is a functional programming language with dependent types, where values are constrained and pattern-matched by an expressive type system to avoid logic misbehaviours. It's a general purpose language, but also supports interactive theorem-proving, is sufficient performant trough eager and LLVM compilation. It has monads, type classes, comprehensions, lambda bindings, where and with clauses, expressions in case statements, an indendation-based and extendable syntax, lists, tuples and pairs,