awesome-programming-languages VS funlang

Compare awesome-programming-languages vs funlang and see what are their differences.

awesome-programming-languages

The list of an awesome programming languages that you might be interested in (by ChessMax)

funlang

A functional language made for fun (by marekmaskarinec)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
awesome-programming-languages funlang
10 1
512 0
- -
8.3 4.3
10 days ago almost 2 years ago
Go
MIT License The Unlicense
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

awesome-programming-languages

Posts with mentions or reviews of awesome-programming-languages. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-20.

funlang

Posts with mentions or reviews of funlang. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-01.
  • May 2022 monthly "What are you working on?" thread
    15 projects | /r/ProgrammingLanguages | 1 May 2022
    I also started working on a functional language to get out of boredom and introduce myself better to the world of functional programming (https://github.com/marekmaskarinec/funlang). The language is currently more on the esoteric side, but I've been thinking of extending it to make it more usable. That would include a proper standard library, module system and probably infix math expressions.

What are some alternatives?

When comparing awesome-programming-languages and funlang you can also consider the following projects:

Vale - Compiler for the Vale programming language - http://vale.dev/

FStar - A Proof-oriented Programming Language

tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

lobster - The Lobster Programming Language

Kind - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2]

dafny - Dafny is a verification-aware programming language

Forscape - Scientific computing language

sligh - A language for certifying specification

urweb - The Ur/Web programming language

schmu - A WIP programming language inspired by ML and powered by LLVM

karamel - KaRaMeL is a tool for extracting low-level F* programs to readable C code

awesome-low-level-programming-languages - A curated list of low level programming languages (i.e. suitable for OS and game programming)