AFNIX Writing System 3.1.0

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 Language 0.9.15

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 0.12

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,

Bike Programming Language 0.0+b9

Bike is a programming language born out of the need to have a practical, yet purely functional programming language, with a syntax that not only matches the elegance of Python, but the terseness of Swift, and the FP bevity of Haskell. I think that Bike does all of this. It has a fairly substantial standard library, far bigger that that of JavaScript, but still smaller that of Haskell. OOP is carried out in a way that stays true to functional programming, and stays out of your way when your jus