Creator of SerenityOS announces new Jakt programming language effort

• koka

  4 2,794 0.0 Haskell

  Koka language compiler and interpreter

  

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

• v

  45 34,919 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

• Onboard AI

  getonboard.dev

  sponsored

  Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  

• zig

  238 27,151 10.0 Zig

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

  

  Zig https://ziglang.org/

• rust

  628 87,345 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

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

• Beef

  4 2,290 0.0 C++

  Beef Programming Language (by beefytech)

  

  Beef https://www.beeflang.org/

• v-mode

  29 53 0.0 Emacs Lisp

  🌻 An Emacs major mode for the V programming language.

  V https://vlang.io/

• Nim

  83 15,685 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/

• InfluxDB

  www.influxdata.com

  sponsored

  Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  

• crystal

  56 18,876 9.6 Crystal

  The Crystal Programming Language

  

• Odin

  23 4,670 0.0 Odin

  Odin Programming Language

  

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

• awesome-low-level-programming-languages

  3 131 0.0

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

• Vale

  23 1,585 0.0 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

  7 1,440 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

  5 9,074 0.0 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

  5 1,228 0.0 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

  19 4,406 0.0 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