hanako-eo / better

A "core" safety implementation for V

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

better

A "core" safety implementation for V

The goal of better is to allow writing more safety and efficiency programme with V

ACTUALLY IN WIP

v install --git https://github.com/hanako-eo/better

With better you get access to:

  • memory module (unsafe by default)
  • collections (Vec, Slice, Iterator)
  • Maybe & Result (same as Option & Result builtin the language but with methods)

About

A "core" safety implementation for V


Languages

Language:V 82.5%Language:Coq 16.7%Language:AMPL 0.7%