Creator of SerenityOS announces new Jakt programming language effort

• koka

  19 2,177 9.7 Haskell

  Koka language compiler and interpreter

  

  5) https://github.com/koka-lang/koka

• v

  74 29,445 10.0 V

  Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io

  

  There's a lot of activity going on: https://github.com/vlang/v/pulse

• SonarLint

  www.sonarlint.org

  sponsored

  Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

  

• zig

  292 14,305 10.0 Zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  

  Zig https://ziglang.org/

• rust

  911 68,136 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

  Rust https://www.rust-lang.org/

• Beef

  12 2,010 9.9 C++

  Beef Programming Language (by beefytech)

  

  Beef https://www.beeflang.org/

• v-mode

  40 43 2.4 Emacs Lisp

  🌻 An Emacs major mode for the V programming language.

  V https://vlang.io/

• Nim

  151 13,045 9.7 Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  

  Nim https://nim-lang.org/

• JetBrains

  surveys.jetbrains.com

  sponsored

  Developer Ecosystem Survey 2022. Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.

  

• crystal

  98 17,574 9.7 Crystal

  The Crystal Programming Language

  

• Odin

  36 2,853 9.9 Odin

  Odin Programming Language

  

  Another one in that group would be Odin https://odin-lang.org/.

• awesome-low-level-programming-languages

  6 35 6.7

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

• Vale

  20 688 8.9 C++

  Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  

  Also keep an eye for Vale, which seems to have came up with some really cool ideas. https://vale.dev/

• dark

  19 1,101 9.8 F#

  Client, backend, and services for Dark: https://darklang.com

  

  Honestly, I wish I knew what can be improved on top of Rust/Zig and co. they already have so many great ideas I wouldn't even know where to start... haven't we come close yet to exploring possibilities? And I've seen some really off the beaten track stuff, like Dark and Red that perhaps is the kind of thing you're thinking of?

• tokei

  12 6,714 6.7 Rust

  Count your code, quickly.

  $ git clone https://github.com/XAMPPRocky/tokei $ cd tokei/ $ cargo build --release --lib # compile just the libraries ... Finished release [optimized] target(s) in 23.36s $ time cargo build --release # now compile the final binary Compiling tokei v12.1.2 (/tmp/tokei) Finished release [optimized] target(s) in 8.30s real 0m8.361s user 0m53.987s sys 0m1.701s

• managarm

  3 920 9.1 C++

  Pragmatic microkernel-based OS with fully asynchronous I/O

  

  If you haven't already, I'd hang out with the Managarm crew. Prety friendly, and what they're doing with C++ and async is very cool!

• lunatic

  29 2,786 8.6 Rust

  Lunatic is an Erlang-inspired runtime for WebAssembly

  

  If it's the actors you're interested in, check out Lunatic. If it's the type system... probably not in Rust, but you may be interested in Koka.

Suggest a related project