Val, a high-level systems programming language

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • hylo

    The Hylo programming language

  • As a compiler developper (yeah _I'm something of a_ ...) I'm shoked to see

    - https://github.com/val-lang/val/issues/758

  • vale

    :pencil: A markup-aware linter for prose built with speed and extensibility in mind.

  • InfluxDB

    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.

    InfluxDB logo
  • zig

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

  • clasp

    clasp Common Lisp environment (by clasp-developers)

  • Clasp might be such a language, it seems.

    https://github.com/clasp-developers/clasp

  • wasm-micro-runtime

    WebAssembly Micro Runtime (WAMR)

  • No longer does Wasm/WASI need JS host! There are many spec-compliant runtimes built for environments from tiny embedded systems up to beefy arm/x86 racks:

    - https://github.com/bytecodealliance/wasm-micro-runtime

    - https://github.com/bytecodealliance/wasmtime

    - https://github.com/wasmerio/wasmer

    - https://github.com/tetratelabs/wazero

    - https://github.com/extism/extism (disclaimer, my company's project - makes wasm easily embeddable into 16+ programming languages!)

  • wasmtime

    A fast and secure runtime for WebAssembly

  • No longer does Wasm/WASI need JS host! There are many spec-compliant runtimes built for environments from tiny embedded systems up to beefy arm/x86 racks:

    - https://github.com/bytecodealliance/wasm-micro-runtime

    - https://github.com/bytecodealliance/wasmtime

    - https://github.com/wasmerio/wasmer

    - https://github.com/tetratelabs/wazero

    - https://github.com/extism/extism (disclaimer, my company's project - makes wasm easily embeddable into 16+ programming languages!)

  • wasmer

    🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

  • No longer does Wasm/WASI need JS host! There are many spec-compliant runtimes built for environments from tiny embedded systems up to beefy arm/x86 racks:

    - https://github.com/bytecodealliance/wasm-micro-runtime

    - https://github.com/bytecodealliance/wasmtime

    - https://github.com/wasmerio/wasmer

    - https://github.com/tetratelabs/wazero

    - https://github.com/extism/extism (disclaimer, my company's project - makes wasm easily embeddable into 16+ programming languages!)

  • WorkOS

    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.

    WorkOS logo
  • wazero

    wazero: the zero dependency WebAssembly runtime for Go developers

  • No longer does Wasm/WASI need JS host! There are many spec-compliant runtimes built for environments from tiny embedded systems up to beefy arm/x86 racks:

    - https://github.com/bytecodealliance/wasm-micro-runtime

    - https://github.com/bytecodealliance/wasmtime

    - https://github.com/wasmerio/wasmer

    - https://github.com/tetratelabs/wazero

    - https://github.com/extism/extism (disclaimer, my company's project - makes wasm easily embeddable into 16+ programming languages!)

  • extism

    The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

  • No longer does Wasm/WASI need JS host! There are many spec-compliant runtimes built for environments from tiny embedded systems up to beefy arm/x86 racks:

    - https://github.com/bytecodealliance/wasm-micro-runtime

    - https://github.com/bytecodealliance/wasmtime

    - https://github.com/wasmerio/wasmer

    - https://github.com/tetratelabs/wazero

    - https://github.com/extism/extism (disclaimer, my company's project - makes wasm easily embeddable into 16+ programming languages!)

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