Potigol Language 0.9.14

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