Creator of SerenityOS announces new Jakt programming language effort

1. koka

   1 33 3,497 9.5 Haskell

   Koka language compiler and interpreter

   

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

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. v

   2 233 36,340 9.9 V

   Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

   

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

4. zig

   3 876 38,971 10.0 Zig

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

   

   Zig https://ziglang.org/

5. rust

   4 2,827 103,446 10.0 Rust

   Empowering everyone to build reliable and efficient software.

   

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

6. Beef

   5 29 2,696 9.8 C++

   Beef Programming Language (by beefytech)

   

   Beef https://www.beeflang.org/

7. v-mode

   6 89 62 0.0 Emacs Lisp

   🌻 An Emacs major mode for the V programming language.

   

   V https://vlang.io/

8. Nim

   7 357 17,047 9.9 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/

9. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

10. crystal

    8 247 19,767 9.8 Crystal

    The Crystal Programming Language

    

11. Odin

    9 94 8,350 10.0 Odin

    Odin Programming Language

    

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

12. awesome-low-level-programming-languages

    10 12 246 5.1

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

    

13. Vale

    11 67 1,882 6.3 Scala

    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/

14. dark

    12 43 1,736 9.7 F#

    Darklang main repo, including language, backend, and infra

    

    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?

15. tokei

    13 35 12,378 8.6 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

16. managarm

    14 11 1,677 9.8 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!

17. lunatic

    15 86 4,682 5.7 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.

18. SaaSHub

    www.saashub.com featured

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    

Suggest a related project