Creator of SerenityOS announces new Jakt programming language effort

• koka

  31 3,036 9.8 Haskell

  Koka language compiler and interpreter

  

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

• v

  219 35,248 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

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• zig

  812 30,295 10.0 Zig

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

  

Zig https://ziglang.org/

• rust

  2,680 92,627 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

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

• Beef

  26 2,358 9.4 C++

  Beef Programming Language (by beefytech)

  

Beef https://www.beeflang.org/

• v-mode

  89 57 0.0 Emacs Lisp

  🌻 An Emacs major mode for the V programming language.

V https://vlang.io/

• Nim

  346 16,048 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/

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• crystal

  239 19,098 9.8 Crystal

  The Crystal Programming Language

  

• Odin

  84 5,598 9.9 Odin

  Odin Programming Language

  

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

• awesome-low-level-programming-languages

  12 165 5.1

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

• Vale

  64 1,660 6.8 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/

• dark

  43 1,599 9.9 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?

• tokei

  30 9,913 6.2 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

  10 1,301 9.3 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

  86 4,530 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.

• SaaSHub

  www.saashub.com sponsored

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

  

Suggest a related project