Val Alternatives

Similar projects and alternatives to val

• libaco

  3 3,437 10.0 C val VS libaco

  A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

• vale

  2 251 2.8 F# val VS vale

  Verified Assembly Language for Everest (by project-everest)

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• go-server-core

  7 0 0.0 Go val VS go-server-core

  An attempt to build a plugin based server

• vale-action

  1 184 5.7 TypeScript val VS vale-action

  :octocat: The official GitHub Action for Vale -- install, manage, and run Vale with ease.

  

• effekt

  13 288 9.7 Scala val VS effekt

  A research language with effect handlers and lightweight effect polymorphism

  

• kernel

  4 1,060 9.8 Rust val VS kernel

  A Rust-based, lightweight unikernel.

  

• datafun

  3 375 10.0 TeX val VS datafun

  Research on integrating datalog & lambda calculus via monotonicity types

• SaaSHub

  www.saashub.com featured

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

  

• carbon-lang

  174 32,216 9.8 C++ val VS carbon-lang

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

  

• HVM

  107 7,156 6.7 Rust val VS HVM

  A massively parallel, optimal functional runtime in Rust

  

• rfcs

  8 57 4.3 val VS rfcs

  RFC process for Bytecode Alliance projects (by bytecodealliance)