- Programming Languages & Verification – MPI SWS plv.mpi-sws.org 0 0
- Esolang, the esoteric programming languages wiki esolangs.org This wiki is dedicated to the fostering and documentation of programming languages designed to be unique, difficult to program in, or just plain weird. 0 0
- gkoberger.github.io gkoberger.github.io 0 0
- The Spooky Programming Language 👻 | spookyc spookylang.com A compiler for the 🎃 Spooky 😱 programming language 👻 0 0
- LOLCODE lolcode.org LOLCODE is an esoteric programming language written in the language of lolcats. Read the spec, get the lci interpreter, and say HAI to the world. 0 0
- golfscript.com www.golfscript.com Discuss these languages on discord, invite here. 0 0
- V WASM Playground v-wasm.now.sh 0 0
- 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
