- Introduction - Move Patterns: Design Patterns for Resource Based Programming www.move-patterns.com Book on software design patterns for Move smart contract programming language. 0 0
- V Playground: Run, Edit, Share V Code Online play.vlang.io Place where you can run, edit and share V code online. 0 0
- Research web sites – Service d'hébergement pour sites autours d'une activité de recherche, ANR, work project.inria.fr 0 0
- Verified Software Toolchain vst.cs.princeton.edu 0 0
- Software Foundations softwarefoundations.cis.upenn.edu 0 0
- Vélus: Verified Lustre compiler velus.inria.fr 0 0
- sigrok sigrok.org 0 0
- V by Example | v-by-example v-community.gitbook.io 0 0
- Iris Project iris-project.org 0 0
- Poleiro, the Coq blog - Main poleiro.info A blog about the Coq proof assistant and programming language 0 0
- dune.build dune.build 0 0
- Mathematical Components math-comp.github.io 0 0
- Proof General proofgeneral.github.io A generic Emacs interface for proof assistants. 0 0
- Theoretical Computer Science Stack Exchange cstheory.stackexchange.com Q&A for theoretical computer scientists and researchers in related fields 0 0
- Blog | The V Programming Language blog.vlang.io News and columns for the V Programming Language 0 0
- Writing An Interpreter In Go | Thorsten Ball interpreterbook.com This book takes you from 0 lines of code to a fully working interpreter for the Monkey programming language. Step by step. All code shown and included. Fully unit tested. 0 0
- Is V still fast? fast.vlang.io 0 0
- Imba - The friendly full-stack language! imba.io Imba is a programming language for building web applications with insane performance. You can use it both for the server and client. 0 0
- GitSpeak gitspeak.com The fastest GitHub client ever made 0 0
- cairographics.org cairographics.org 0 0
- Vala Programming Language vala.dev Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject type system. 0 0
- Learn to code with Scrimba scrimba.com Scrimba is the fast way of learning to code! Our interactive courses and tutorials will teach you React, Vue, Angular, Web Development, Node.JS, JavaScript, HTML, CSS, and more. 0 0
- Codeforces codeforces.com Codeforces. Programming competitions and contests, programming community 0 0
- Quantum Computing Stack Exchange quantumcomputing.stackexchange.com Q&A for engineers, scientists, programmers, and computing professionals interested in quantum computing 0 0
