Creator of SerenityOS announces new Jakt programming language effort

This page summarizes the projects mentioned and recommended in the original post on /r/programming

Our great sponsors
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • SaaSHub - Software Alternatives and Reviews
  • koka

    Koka language compiler and interpreter


  • v

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

    There's a lot of activity going on:

  • Onboard AI

    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

  • zig

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


  • rust

    Empowering everyone to build reliable and efficient software.


  • Beef

    Beef Programming Language (by beefytech)


  • v-mode

    🌻 An Emacs major mode for the V programming language.


  • 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).


  • InfluxDB

    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

    The Crystal Programming Language

  • Odin

    Odin Programming Language

    Another one in that group would be Odin

  • awesome-low-level-programming-languages

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

  • Vale

    Compiler for the Vale programming language - (by ValeLang)

    Also keep an eye for Vale, which seems to have came up with some really cool ideas.

  • dark

    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

    Count your code, quickly.

    $ git clone $ 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

    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

    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

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

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts