The val compiler (by val-lang)

Val Alternatives

Similar projects and alternatives to val

  • carbon-lang

    val VS carbon-lang

    Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  • Vale

    val VS Vale

    Compiler for the Vale programming language - (by ValeLang)

  • Appwrite

    Appwrite - The Open Source Firebase alternative introduces iOS support. Appwrite is an open source backend server that helps you build native iOS applications much faster with realtime APIs for authentication, databases, files storage, cloud functions and much more!

  • jakt

    val VS jakt

    The Jakt Programming Language

  • vale

    val VS vale

    Verified Assembly Language for Everest (by project-everest)

  • rust

    val VS rust

    Empowering everyone to build reliable and efficient software.

  • slint

    val VS slint

    Slint is a declarative GUI toolkit to build native user interfaces for applications that are written in Rust, C++, or JavaScript.

  • go

    val VS go

    The Go programming language

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  • effekt

    val VS effekt

    A research language with effect handlers and lightweight effect polymorphism

  • go-server-core

    An attempt to build a plugin based server

  • HVM

    val VS HVM

    A massively parallel, optimal functional runtime in Rust

  • autocxx

    val VS autocxx

    Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

  • rfcs

    val VS rfcs

    RFCs for changes to Rust

  • koka

    val VS koka

    Koka language compiler and interpreter

  • Idris2

    val VS Idris2

    A purely functional programming language with first class types

  • circle

    val VS circle

    The compiler is available for download. Get it!

  • vala-www

    val VS vala-www

    Website of the Vala programming language

  • Killed by Google

    val VS Killed by Google

    Part guillotine, part graveyard for Google's doomed apps, services, and hardware.

  • CppCoreGuidelines

    val VS CppCoreGuidelines

    The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

  • zig

    val VS zig

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


    ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better val alternative or higher similarity.

val reviews and mentions

Posts with mentions or reviews of val. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-08.
  • What are the current hot topics in type theory and static analysis?
    15 projects | | 8 May 2023
    Linear/affine (substructural) types. Rust has them and is doing great, Haskell has implemented them as a “new experimental”-kind of thing. Other languages are looking to incorporate some variant or alternative to Rust’s borrowing rules: Mojo (the hyped-up “AI” language) includes them, and Val-lang has mutable value semantics which are similar.
  • Why does Rust need humans to tell it how long a variable’s lifetime is?
    2 projects | | 1 May 2023
    People interested in this thread should look into Val:
  • Getting Past “Ampersand-Driven Development” in Rust
    4 projects | | 9 Mar 2023
    See Val for a possible step into that direction.

    Or how the Chapel language for HPC is going at it,

  • Will C++ introduce something similar to Borrow Checker to improve memory safety?
    3 projects | | 14 Feb 2023
    Personally, I have no interest in Carbon or 'cppfront'. Val, on the other hand, is interesting:
  • "My Reaction to Dr. Stroustrup’s Recent Memory Safety Comments"
    11 projects | | 2 Feb 2023
    Val seems much further along in design than Carbon.
  • New video! 2022 in Programming Languages
    8 projects | | 28 Jan 2023
    Here's the full tab list: - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  • Rust's Ugly Syntax
    5 projects | | 26 Jan 2023
  • C++ evolution vs C++ successor languages. Circle's feature pragmas let you select your own "evolver language."
    3 projects | | 24 Jan 2023
    Another candidate-language I would like to share is Val ( It's still young and experimental, though.
  • C++ vs. Rust Build Times
    12 projects | | 6 Jan 2023
    Well, for languages that are now touting interop with C++, and the emergence of a mainstream memory safe language like Rust, Carbon seems like a retrograde step to me.

    Val is probably the next language that fleeing C++ developers should get behind.

    There's even science behind it:

  • C++ at the End of 2022
    9 projects | | 2 Jan 2023
    Also, seems more interesting. And

    > Safe by default: Val’s foundation of mutable value semantics ensures that ordinary code is memory safe, typesafe, and data-race-free. By explicit, auditable opt-in, programmers can use unsafe constructs for performance where necessary, and can build safe constructs using unsafe ones.

    Versus Carbon:

    > Carbon's premise is that C++ users can't give up performance to get safety.

  • A note from our sponsor - InfluxDB | 29 May 2023
    Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression. Learn more →


Basic val repo stats
2 days ago

val-lang/val is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of val is Swift.

TestGPT | Generating meaningful tests for busy devs
Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.